| Abstracting control O Danvy, A Filinski Proceedings of the 1990 ACM conference on LISP and functional programming …, 1990 | 541 | 1990 |
| Representing control: A study of the CPS transformation O Danvy, A Filinski Mathematical structures in computer science 2 (4), 361-391, 1992 | 427 | 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 | 167 | 1999 |
| Controlling Effects A Filinski Carnegie Mellon University, 1996 | 130* | 1996 |
| Declarative continuations: An investigation of duality in programming language semantics A Filinski Category Theory and Computer Science, 224-249, 1989 | 93* | 1989 |
| Declarative continuations and categorical duality A Filinski University of Copenhagen, 1989 | 87 | 1989 |
| Normalization and partial evaluation P Dybjer, A Filinski International Summer School on Applied Semantics, 137-192, 2000 | 69 | 2000 |
| A semantic account of type-directed partial evaluation A Filinski Principles and Practice of Declarative Programming, 378-395, 1999 | 65 | 1999 |
| Normalization by evaluation for the computational lambda-calculus A Filinski International Conference on Typed Lambda Calculi and Applications, 151-165, 2001 | 63 | 2001 |
| 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 | 56 | 2010 |
| A denotational account of untyped normalization by evaluation A Filinski, HK Rohde Foundations of Software Science and Computation Structures, 167-181, 2004 | 37 | 2004 |
| On the relations between monadic semantics A Filinski Theoretical Computer Science 375 (1-3), 41-75, 2007 | 25 | 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 |
