2007 |
15 | EE | Andrzej Filinski,
Kristian Støvring:
Inductive reasoning about effectful data types.
ICFP 2007: 97-110 |
14 | EE | Andrzej Filinski:
On the relations between monadic semantics.
Theor. Comput. Sci. 375(1-3): 41-75 (2007) |
2006 |
13 | EE | Olivier Danvy,
Andrzej Filinski,
Jean-Louis Giavitto,
Andy King,
Pierre-Etienne Moreau,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 19(4): 343-344 (2006) |
2004 |
12 | EE | Andrzej Filinski,
Henning Korsholm Rohde:
A Denotational Account of Untyped Normalization by Evaluation.
FoSSaCS 2004: 167-181 |
2001 |
11 | | Olivier Danvy,
Andrzej Filinski:
Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings
Springer 2001 |
10 | EE | Andrzej Filinski:
Normalization by Evaluation for the Computational Lambda-Calculus.
TLCA 2001: 151-165 |
2000 |
9 | EE | Peter Dybjer,
Andrzej Filinski:
Normalization and Partial Evaluation.
APPSEM 2000: 137-192 |
1999 |
8 | EE | Andrzej Filinski:
Representing Layered Monads.
POPL 1999: 175-188 |
7 | | Andrzej Filinski:
A Semantic Account of Type-Directed Partial Evaluation.
PPDP 1999: 378-395 |
1994 |
6 | | Andrzej Filinski:
Representing Monads.
POPL 1994: 446-457 |
5 | | Andrzej Filinski:
Recursion from Iteration.
Lisp and Symbolic Computation 7(1): 11-38 (1994) |
1992 |
4 | | Andrzej Filinski:
Linear Continuations.
POPL 1992: 27-38 |
3 | | Olivier Danvy,
Andrzej Filinski:
Representing Control: A Study of the CPS Transformation.
Mathematical Structures in Computer Science 2(4): 361-391 (1992) |
1990 |
2 | EE | Olivier Danvy,
Andrzej Filinski:
Abstracting Control.
LISP and Functional Programming 1990: 151-160 |
1989 |
1 | | Andrzej Filinski:
Declarative Continuations: an Investigation of Duality in Programming Language Semantics.
Category Theory and Computer Science 1989: 224-249 |