Abstracting control O Danvy, A Filinski Proceedings of the 1990 ACM conference on LISP and functional programming …, 1990 | 461 | 1990 |

Representing control: A study of the CPS transformation O Danvy, A Filinski Mathematical structures in computer science 2 (04), 361-391, 1992 | 391 | 1992 |

Representing Monads A Filinski Principles of Programming Languages, 446-457, 1994 | 323 | 1994 |

A functional abstraction of typed contexts O Danvy, A Filinski Department of Computer Science, University of Copenhagen 89 (89/12), 12, 1989 | 165* | 1989 |

Representing layered monads A Filinski Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of …, 1999 | 154 | 1999 |

Controlling Effects A Filinski Carnegie Mellon University, 1996 | 110* | 1996 |

Declarative continuations and categorical duality A Filinski University of Copenhagen, 1989 | 84 | 1989 |

Declarative continuations: An investigation of duality in programming language semantics A Filinski Category Theory and Computer Science, 224-249, 1989 | 83 | 1989 |

A semantic account of type-directed partial evaluation A Filinski Principles and Practice of Declarative Programming, 378-395, 1999 | 61 | 1999 |

Normalization and partial evaluation P Dybjer, A Filinski Applied Semantics, 137-192, 2002 | 60 | 2002 |

Linear continuations A Filinski Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of …, 1992 | 59 | 1992 |

Normalization by evaluation for the computational lambda-calculus A Filinski International Conference on Typed Lambda Calculi and Applications, 151-165, 2001 | 53 | 2001 |

Monads in action A Filinski Principles of Programming Languages (POPL), 483-494, 2010 | 49 | 2010 |

A denotational account of untyped normalization by evaluation A Filinski, HK Rohde Foundations of Software Science and Computation Structures, 167-181, 2004 | 36 | 2004 |

On the relations between monadic semantics A Filinski Theoretical Computer Science 375 (1-3), 41-75, 2007 | 27 | 2007 |

Inductive reasoning about effectful data types A Filinski, K Støvring International Conference on Functional Programming (ICFP), 97-110, 2007 | 19 | 2007 |

Recursion from iteration A Filinski Lisp and Symbolic Computation 7 (1), 11-37, 1994 | 19 | 1994 |

Towards a streaming model for nested data parallelism FM Madsen, A Filinski Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013 | 17 | 2013 |

Denotational aspects of untyped normalization by evaluation A Filinski, HK Rohde RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 2005 | 9 | 2005 |

Functional High Performance Financial IT J Berthold, A Filinski, F Henglein, KF Larsen, M Steffensen, B Vinter International Symposium on Trends in Functional Programming, 98-113, 2011 | 7 | 2011 |