Andrzej Filinski

Publication Activity (10 Years)

Years Active: 1989-2021
Publications (10 Years): 2

Top Topics

Approximate Matching

Transformation Parameters

Data Parallelism

Regular Path Queries

Top Venues

J. Funct. Program.

Publications

Andrzej Filinski
Proof-directed program transformation: A functional account of efficient regular expression matching. J. Funct. Program. 31 (2021)
Frederik M. Madsen, Andrzej Filinski
Streaming nested data parallelism on multicores. FHPC@ICFP (2016)
Frederik M. Madsen, Andrzej Filinski
Towards a streaming model for nested data parallelism. FHPC@ICFP (2013)
Ulrik Terp Rasmussen, Andrzej Filinski
Structural logical relations with case analysis and equality reasoning. LFMTP (2013)
Jost Berthold, Andrzej Filinski, Fritz Henglein, Ken Friis Larsen, Mogens Steffensen, Brian Vinter
Functional High Performance Financial IT. Trends in Functional Programming (2011)
Andrzej Filinski
Towards a comprehensive theory of monadic effects. ICFP (2011)
Andrzej Filinski
Monads in action. POPL (2010)
Anders Starcke Henriksen, Tom Hvitved, Andrzej Filinski
A Game-Theoretic Model for Distributed Programming by Contract. GI Jahrestagung (2009)
Andrzej Filinski, Kristian Støvring
Inductive reasoning about effectful data types. ICFP (2007)
Andrzej Filinski
On the relations between monadic semantics. Theor. Comput. Sci. 375 (1-3) (2007)
Andrzej Filinski
Monadic Reflection in Haskell. MSFP@MPC (2006)
Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott
Editorial. High. Order Symb. Comput. 19 (4) (2006)
Andrzej Filinski, Henning Korsholm Rohde
Denotational aspects of untyped normalization by evaluation. RAIRO Theor. Informatics Appl. 39 (3) (2005)
Andrzej Filinski, Henning Korsholm Rohde
A Denotational Account of Untyped Normalization by Evaluation. FoSSaCS (2004)
Andrzej Filinski
Normalization by Evaluation for the Computational Lambda-Calculus. TLCA (2001)
Peter Dybjer, Andrzej Filinski
Normalization and Partial Evaluation. APPSEM (2000)
Andrzej Filinski
Representing Layered Monads. POPL (1999)
Andrzej Filinski
A Semantic Account of Type-Directed Partial Evaluation. PPDP (1999)
Andrzej Filinski
Representing Monads. POPL (1994)
Andrzej Filinski
Recursion from Iteration. LISP Symb. Comput. 7 (1) (1994)
Olivier Danvy, Andrzej Filinski
Representing Control: A Study of the CPS Transformation. Math. Struct. Comput. Sci. 2 (4) (1992)
Andrzej Filinski
Linear Continuations. POPL (1992)
Olivier Danvy, Andrzej Filinski
Abstracting Control. LISP and Functional Programming (1990)
Andrzej Filinski
Declarative Continuations: an Investigation of Duality in Programming Language Semantics. Category Theory and Computer Science (1989)