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

Abstracting Control. - Olivier Danvy; Andrzej Filinski (LISP and Functional Programming, 1990)

Linear Continuations. - Andrzej Filinski (POPL, 1992)

Representing Control: A Study of the CPS Transformation. - Olivier Danvy; Andrzej Filinski (Math. Struct. Comput. Sci., 1992)

Representing Monads. - Andrzej Filinski (POPL, 1994)

Recursion from Iteration. - Andrzej Filinski (LISP Symb. Comput., 1994)

Representing Layered Monads. - Andrzej Filinski (POPL, 1999)

A Semantic Account of Type-Directed Partial Evaluation. - Andrzej Filinski (PPDP, 1999)

Normalization and Partial Evaluation. - Peter Dybjer; Andrzej Filinski (APPSEM, 2000)

Normalization by Evaluation for the Computational Lambda-Calculus. - Andrzej Filinski (TLCA, 2001)

A Denotational Account of Untyped Normalization by Evaluation. - Andrzej Filinski; Henning Korsholm Rohde (FoSSaCS, 2004)

Denotational aspects of untyped normalization by evaluation. - Andrzej Filinski; Henning Korsholm Rohde (RAIRO Theor. Informatics Appl., 2005)

Monadic Reflection in Haskell. - Andrzej Filinski (MSFP@MPC, 2006)

Editorial. - Olivier Danvy; Andrzej Filinski; Jean-Louis Giavitto; Andy King; Pierre-Etienne Moreau; Carolyn L. Talcott (High. Order Symb. Comput., 2006)

Inductive reasoning about effectful data types. - Andrzej Filinski; Kristian Støvring (ICFP, 2007)

On the relations between monadic semantics. - Andrzej Filinski (Theor. Comput. Sci., 2007)

A Game-Theoretic Model for Distributed Programming by Contract. - Anders Starcke Henriksen; Tom Hvitved; Andrzej Filinski (GI Jahrestagung, 2009)

Monads in action. - Andrzej Filinski (POPL, 2010)

Towards a comprehensive theory of monadic effects. - Andrzej Filinski (ICFP, 2011)

Functional High Performance Financial IT. - Jost Berthold; Andrzej Filinski; Fritz Henglein; Ken Friis Larsen; Mogens Steffensen; Brian Vinter (Trends in Functional Programming, 2011)

Towards a streaming model for nested data parallelism. - Frederik M. Madsen; Andrzej Filinski (FHPC@ICFP, 2013)

Structural logical relations with case analysis and equality reasoning. - Ulrik Terp Rasmussen; Andrzej Filinski (LFMTP, 2013)

Streaming nested data parallelism on multicores. - Frederik M. Madsen; Andrzej Filinski (FHPC@ICFP, 2016)

Proof-directed program transformation: A functional account of efficient regular expression matching. - Andrzej Filinski (J. Funct. Program., 2021)

Axiomatising an information flow logic based on partial equivalence relations. - Andrzej Filinski; Ken Friis Larsen; Thomas P. Jensen (Int. J. Softw. Tools Technol. Transf., 2024)