Andrzej Filinski

Andrzej Filinski: Towards a comprehensive theory of monadic effects. ICFP 2011: 1

Andrzej Filinski: Monads in action. POPL 2010: 483-494

Anders Starcke Henriksen, Tom Hvitved, Andrzej Filinski: A Game-Theoretic Model for Distributed Programming by Contract. GI Jahrestagung 2009: 3473-3484

Andrzej Filinski: On the relations between monadic semantics. Theor. Comput. Sci. 375(1-3): 41-75 (2007)

Andrzej Filinski, Kristian Støvring: Inductive reasoning about effectful data types. ICFP 2007: 97-110

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)

Andrzej Filinski, Henning Korsholm Rohde: Denotational aspects of untyped normalization by evaluation. ITA 39(3): 423-453 (2005)

Andrzej Filinski, Henning Korsholm Rohde: A Denotational Account of Untyped Normalization by Evaluation. FoSSaCS 2004: 167-181

Andrzej Filinski: Normalization by Evaluation for the Computational Lambda-Calculus. TLCA 2001: 151-165

Olivier Danvy, Andrzej Filinski (Eds.): Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings. Lecture Notes in Computer Science 2053, Springer 2001, isbn 3-540-42068-1

Peter Dybjer, Andrzej Filinski: Normalization and Partial Evaluation. APPSEM 2000: 137-192

Andrzej Filinski: Representing Layered Monads. POPL 1999: 175-188

Andrzej Filinski: A Semantic Account of Type-Directed Partial Evaluation. PPDP 1999: 378-395

Andrzej Filinski: Recursion from Iteration. Lisp and Symbolic Computation 7(1): 11-38 (1994)

Andrzej Filinski: Representing Monads. POPL 1994: 446-457

Olivier Danvy, Andrzej Filinski: Representing Control: A Study of the CPS Transformation. Mathematical Structures in Computer Science 2(4): 361-391 (1992)

Andrzej Filinski: Linear Continuations. POPL 1992: 27-38

Olivier Danvy, Andrzej Filinski: Abstracting Control. LISP and Functional Programming 1990: 151-160

Andrzej Filinski: Declarative Continuations: an Investigation of Duality in Programming Language Semantics. Category Theory and Computer Science 1989: 224-249