 | 2007 |
|---|
| 15 |       | Andrzej Filinski,
Kristian Støvring:
Inductive reasoning about effectful data types.
ICFP 2007: 97-110 |
| 14 | | Andrzej Filinski:
On the relations between monadic semantics.
Theor. Comput. Sci. 375(1-3): 41-75 (2007) |
| 2006 |
|---|
| 13 | | 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 | | 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 | | Andrzej Filinski:
Normalization by Evaluation for the Computational Lambda-Calculus.
TLCA 2001: 151-165 |
| 2000 |
|---|
| 9 | | Peter Dybjer,
Andrzej Filinski:
Normalization and Partial Evaluation.
APPSEM 2000: 137-192 |
| 1999 |
|---|
| 8 | | 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 | | 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 |
