Abstracting control O Danvy, A Filinski Proceedings of the 1990 ACM conference on LISP and functional programming …, 1990 | 551 | 1990 |
Representing control: A study of the CPS transformation O Danvy, A Filinski Mathematical structures in computer science 2 (4), 361-391, 1992 | 431 | 1992 |
Representing Monads A Filinski Principles of Programming Languages, 446-457, 1994 | 368 | 1994 |
A functional abstraction of typed contexts O Danvy, A Filinski Department of Computer Science, University of Copenhagen 89 (89/12), 12, 1989 | 184 | 1989 |
Representing layered monads A Filinski Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 168 | 1999 |
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 | 89 | 1989 |
Normalization and partial evaluation P Dybjer, A Filinski International Summer School on Applied Semantics, 137-192, 2000 | 70 | 2000 |
Normalization by evaluation for the computational lambda-calculus A Filinski International Conference on Typed Lambda Calculi and Applications, 151-165, 2001 | 65 | 2001 |
A semantic account of type-directed partial evaluation A Filinski Principles and Practice of Declarative Programming, 378-395, 1999 | 63 | 1999 |
Linear continuations A Filinski Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992 | 62 | 1992 |
Monads in action A Filinski Principles of Programming Languages (POPL), 483-494, 2010 | 58 | 2010 |
A denotational account of untyped normalization by evaluation A Filinski, HK Rohde Foundations of Software Science and Computation Structures, 167-181, 2004 | 38 | 2004 |
On the relations between monadic semantics A Filinski Theoretical Computer Science 375 (1-3), 41-75, 2007 | 26 | 2007 |
Recursion from iteration A Filinski Lisp and Symbolic Computation 7 (1), 11-37, 1994 | 25 | 1994 |
Inductive reasoning about effectful data types A Filinski, K Støvring International Conference on Functional Programming (ICFP), 97-110, 2007 | 20 | 2007 |
Towards a streaming model for nested data parallelism FM Madsen, A Filinski Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013 | 18 | 2013 |
Denotational aspects of untyped normalization by evaluation A Filinski, HK Rohde RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2005 | 17 | 2005 |
An extensional CPS transform (preliminary report) A Filinski Proceedings of the 3rd ACM SIGPLAN workshop on continuations. Technical …, 2001 | 7 | 2001 |