Andrzej Filinski

According to our database, Andrzej Filinski authored at least 24 papers between 1989 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Proof-directed program transformation: A functional account of efficient regular expression matching.

Andrzej Filinski

J. Funct. Program., 2021

2016

Streaming nested data parallelism on multicores.

Frederik M. Madsen, Andrzej Filinski

Proceedings of the 5th International Workshop on Functional High-Performance Computing, 2016

2013

Structural logical relations with case analysis and equality reasoning.

Ulrik Terp Rasmussen, Andrzej Filinski

Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, 2013

Towards a streaming model for nested data parallelism.

Frederik M. Madsen, Andrzej Filinski

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013

2011

Functional High Performance Financial IT.

Jost Berthold, Andrzej Filinski, Fritz Henglein, Ken Friis Larsen, Mogens Steffensen, Brian Vinter

Proceedings of the Trends in Functional Programming, 12th International Symposium, 2011

Towards a comprehensive theory of monadic effects.

Andrzej Filinski

Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010

Monads in action.

Andrzej Filinski

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

A Game-Theoretic Model for Distributed Programming by Contract.

Anders Starcke Henriksen, Tom Hvitved, Andrzej Filinski

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2007

On the relations between monadic semantics.

Andrzej Filinski

Theor. Comput. Sci., 2007

Inductive reasoning about effectful data types.

Andrzej Filinski, Kristian Støvring

Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, 2007

2006

Editorial.

Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott

High. Order Symb. Comput., 2006

Monadic Reflection in Haskell.

Andrzej Filinski

Proceedings of the Workshop on Mathematically Structured Functional Programming, 2006

2005

Denotational aspects of untyped normalization by evaluation.

Andrzej Filinski, Henning Korsholm Rohde

RAIRO Theor. Informatics Appl., 2005

2004

A Denotational Account of Untyped Normalization by Evaluation.

Andrzej Filinski, Henning Korsholm Rohde

Proceedings of the Foundations of Software Science and Computation Structures, 2004

2001

Normalization by Evaluation for the Computational Lambda-Calculus.

Andrzej Filinski

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

2000

Normalization and Partial Evaluation.

Peter Dybjer, Andrzej Filinski

Proceedings of the Applied Semantics, International Summer School, 2000

1999

A Semantic Account of Type-Directed Partial Evaluation.

Andrzej Filinski

Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999

Representing Layered Monads.

Andrzej Filinski

Proceedings of the POPL '99, 1999

1994

Recursion from Iteration.

Andrzej Filinski

LISP Symb. Comput., 1994

Representing Monads.

Andrzej Filinski

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1992

Representing Control: A Study of the CPS Transformation.

Olivier Danvy, Andrzej Filinski

Math. Struct. Comput. Sci., 1992

Linear Continuations.

Andrzej Filinski

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

1990

Abstracting Control.

Olivier Danvy, Andrzej Filinski

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990

1989

Declarative Continuations: an Investigation of Duality in Programming Language Semantics.

Andrzej Filinski

Proceedings of the Category Theory and Computer Science, 1989