- DIKU Report 89/11 Declarative Continuations and Categorical Duality
- Abstracting Control \Lambda Olivier Danvy y Andrzej Filinski
- A Denotational Account of Untyped Normalization by Evaluation ?
- LISP AND SYMBOLIC COMPUTATION: An International Journal, 7, 11--38, 1994 fl 1994 Kluwer Academic Publishers --Manufactured in The Netherlands
- Math. Struct. in Comp. Science (1992), vol. 2, pp. 361--391. PREPRINT Representing control
- Linear Continuations \Lambda Andrzej Filinski
- Representing Monads \Lambda Andrzej Filinski
- A Semantic Account of Type-Directed Partial Evaluation
- Normalization and Partial Evaluation Peter Dybjer1
- RAIRO-Inf. Theor. Appl. 39 (2005) 423-453 DOI: 10.1051/ita:2005026
- Monads in Action Andrzej Filinski
- Monads in Action Andrzej Filinski
- Representing Layered Monads Andrzej Filinski
- Representing Monads* Andrzej Filinski
- Controlling Effects Andrzej Filinski
- A Semantic Account of Type-Directed Partial Evaluation
- A Denotational Account of Untyped Normalization by Evaluation?
- LISP AND SYMBOLIC COMPUTATION: An International Journal, 7, 11-38, 1994 cO1994 Kluwer Academic Publishers -Manufactured in The Netherlands
- Normalization by Evaluation for the Computational Lambda-Calculus
- A Denotational Account of Untyped Normalization by Evaluation
- Normalization by Evaluation for the Computational Lambda-Calculus
- Representing Layered Monads Andrzej Filinski
- Math. Struct. in Comp. Science (1992), vol. 2, pp. 361-391. PREPRINT Representing control
