Follow
Andrzej Filinski
Andrzej Filinski
Associate Professor of Computer Science, University of Copenhagen
Verified email at diku.dk
Title
Cited by
Cited by
Year
Abstracting control
O Danvy, A Filinski
Proceedings of the 1990 ACM conference on LISP and functional programming …, 1990
5511990
Representing control: A study of the CPS transformation
O Danvy, A Filinski
Mathematical structures in computer science 2 (4), 361-391, 1992
4311992
Representing Monads
A Filinski
Principles of Programming Languages, 446-457, 1994
3681994
A functional abstraction of typed contexts
O Danvy, A Filinski
Department of Computer Science, University of Copenhagen 89 (89/12), 12, 1989
1841989
Representing layered monads
A Filinski
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999
1681999
Controlling Effects
A Filinski
Carnegie Mellon University, 1996
129*1996
Declarative continuations: An investigation of duality in programming language semantics
A Filinski
Category Theory and Computer Science, 224-249, 1989
96*1989
Declarative continuations and categorical duality
A Filinski
University of Copenhagen, 1989
891989
Normalization and partial evaluation
P Dybjer, A Filinski
International Summer School on Applied Semantics, 137-192, 2000
702000
Normalization by evaluation for the computational lambda-calculus
A Filinski
International Conference on Typed Lambda Calculi and Applications, 151-165, 2001
652001
A semantic account of type-directed partial evaluation
A Filinski
Principles and Practice of Declarative Programming, 378-395, 1999
631999
Linear continuations
A Filinski
Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992
621992
Monads in action
A Filinski
Principles of Programming Languages (POPL), 483-494, 2010
582010
A denotational account of untyped normalization by evaluation
A Filinski, HK Rohde
Foundations of Software Science and Computation Structures, 167-181, 2004
382004
On the relations between monadic semantics
A Filinski
Theoretical Computer Science 375 (1-3), 41-75, 2007
262007
Recursion from iteration
A Filinski
Lisp and Symbolic Computation 7 (1), 11-37, 1994
251994
Inductive reasoning about effectful data types
A Filinski, K Støvring
International Conference on Functional Programming (ICFP), 97-110, 2007
202007
Towards a streaming model for nested data parallelism
FM Madsen, A Filinski
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013
182013
Denotational aspects of untyped normalization by evaluation
A Filinski, HK Rohde
RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2005
172005
An extensional CPS transform (preliminary report)
A Filinski
Proceedings of the 3rd ACM SIGPLAN workshop on continuations. Technical …, 2001
72001
The system can't perform the operation now. Try again later.
Articles 1–20