Searching for authors named "Andrzej Filinski" – sorted by Relevance.
-
Inductive Reasoning About Effectful Data Types
- Abstract Inductive Reasoning about Effectful Data Types Andrzej Filinski DIKU, University
- Cited by 1 (0 self) – Add To MetaCart
-
Recursion from Iteration
- Publishers -- Manufactured in The Netherlands Recursion from Iteration ANDRZEJ FILINSKI y (andrzej
- Cited by 8 (0 self) – Add To MetaCart
-
Linear Continuations
- Linear Continuations Andrzej Filinski School of Computer Science Carnegie Mellon University
- Cited by 27 (1 self) – Add To MetaCart
-
A Semantic Account of Type-Directed Partial Evaluation
- Research in Computer Science A Semantic Account of Type-Directed Partial Evaluation Andrzej Filinski BRICS
- Cited by 25 (3 self) – Add To MetaCart
-
Normalization by Evaluation for the Computational Lambda-Calculus
- and Applications 2001 Andrzej Filinski BRICS ? , Department of Computer Science, University of Aarhus andrzej
- Cited by 13 (0 self) – Add To MetaCart
-
Representing Monads
- Representing Monads Andrzej Filinski School of Computer Science Carnegie Mellon University
- Cited by 98 (3 self) – Add To MetaCart
-
Representing Layered Monads
- Representing Layered Monads Andrzej Filinski BRICS Department of Computer Science University
- Cited by 38 (1 self) – Add To MetaCart
-
Declarative Continuations and Categorical Duality
- DIKU Report 89/11 Declarative Continuations and Categorical Duality Andrzej Filinski 1 DIKU
- Cited by 25 (0 self) – Add To MetaCart
-
The Guideline for the Accounting
- Research in Computer Science A Semantic Account of Type-Directed Partial Evaluation Andrzej Filinski BRICS
- Cited by 1 (0 self) – Add To MetaCart
-
Representing control: a study of the CPS transformation
- (danvy@(email omitted);) Andrzej Filinski Carnegie Mellon University z (Andrzej.Filinski
- Cited by 60 (5 self) – Add To MetaCart

