Andrzej Filinski

27 papers A* 4A 2B 1C 1Journal 7Unranked 10

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Axiomatising an information flow logic based on partial equivalence relations. Int. J. Softw. Tools Technol. Transf. Andrzej Filinski, Ken Friis Larsen, Thomas P. Jensen
2021	J	`jnl`	Proof-directed program transformation: A functional account of efficient regular expression matching. J. Funct. Program. Andrzej Filinski
2016	—	`conf`	Streaming nested data parallelism on multicores. FHPC@ICFP Frederik M. Madsen, Andrzej Filinski
2013	—	`conf`	Structural logical relations with case analysis and equality reasoning. LFMTP Ulrik Terp Rasmussen, Andrzej Filinski
2013	—	`conf`	Towards a streaming model for nested data parallelism. FHPC@ICFP Frederik M. Madsen, Andrzej Filinski
2012	—	`ed.`	Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, Copenhagen, Denmark, FHPC@ICFP 2012, September 9-15, 2012 FHPC@ICFP Andrzej Filinski, Clemens Grelck
2011	—	`conf`	Functional High Performance Financial IT. Trends in Functional Programming Jost Berthold, Andrzej Filinski, Fritz Henglein, Ken Friis Larsen, Mogens Steffensen, Brian Vinter
2011	A	`conf`	Towards a comprehensive theory of monadic effects. ICFP Andrzej Filinski
2010	A*	`conf`	Monads in action. POPL Andrzej Filinski
2009	—	`conf`	A Game-Theoretic Model for Distributed Programming by Contract. GI Jahrestagung Anders Starcke Henriksen, Tom Hvitved, Andrzej Filinski
2007	A	`conf`	Inductive reasoning about effectful data types. ICFP Andrzej Filinski, Kristian Støvring
2007	J	`jnl`	On the relations between monadic semantics. Theor. Comput. Sci. Andrzej Filinski
2006	J	`jnl`	Editorial. High. Order Symb. Comput. Olivier Danvy, Andrzej Filinski, Jean-Louis Giavitto, Andy King, Pierre-Etienne Moreau, Carolyn L. Talcott
2006	—	`conf`	Monadic Reflection in Haskell. MSFP@MPC Andrzej Filinski
2005	J	`jnl`	Denotational aspects of untyped normalization by evaluation. RAIRO Theor. Informatics Appl. Andrzej Filinski, Henning Korsholm Rohde
2004	B	`conf`	A Denotational Account of Untyped Normalization by Evaluation. FoSSaCS Andrzej Filinski, Henning Korsholm Rohde
2001	—	`conf`	Normalization by Evaluation for the Computational Lambda-Calculus. TLCA Andrzej Filinski
2001	—	`ed.`	Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings PADO Olivier Danvy, Andrzej Filinski
2000	—	`conf`	Normalization and Partial Evaluation. APPSEM Peter Dybjer, Andrzej Filinski
1999	C	`conf`	A Semantic Account of Type-Directed Partial Evaluation. PPDP Andrzej Filinski
1999	A*	`conf`	Representing Layered Monads. POPL Andrzej Filinski
1994	J	`jnl`	Recursion from Iteration. LISP Symb. Comput. Andrzej Filinski
1994	A*	`conf`	Representing Monads. POPL Andrzej Filinski
1992	A*	`conf`	Linear Continuations. POPL Andrzej Filinski
1992	J	`jnl`	Representing Control: A Study of the CPS Transformation. Math. Struct. Comput. Sci. Olivier Danvy, Andrzej Filinski
1990	—	`conf`	Abstracting Control. LISP and Functional Programming Olivier Danvy, Andrzej Filinski
1989	—	`conf`	Declarative Continuations: an Investigation of Duality in Programming Language Semantics. Category Theory and Computer Science Andrzej Filinski