dblp.uni-trier.dewww.uni-trier.de

Andrzej Filinski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Olivier Danvy [2] [3] [11] [13]
2Peter Dybjer [9]
3Jean-Louis Giavitto [13]
4Andy King [13]
5Pierre-Etienne Moreau [13]
6Henning Korsholm Rohde [12]
7Kristian Støvring [15]
8Carolyn L. Talcott [13]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)