Memoization in type-directed partial evaluation (2002)

by Vincent Balat , Olivier Danvy
Venue:PROCEEDINGS OF THE 2002 ACM SIGPLAN/SIGSOFT CONFERENCE ON GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, NUMBER 2487 IN LECTURE NOTES IN COMPUTER SCIENCE
Citations:14 - 6 self

Documents Related by Co-Citation

31 Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums, in: POPL’04 – V Balat, R Di Cosmo, M Fiore - 2004
207 Type-directed partial evaluation – Olivier Danvy - 1996
41 The calculi of λv-CS conversion: A syntactic theory of control and state in imperative higher-order programming languages – M Felleisen - 1987
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
66 A Functional Abstraction of Typed Contexts – Olivier Danvy, Andrzej Filinski - 1989
94 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
20 Combinators for program generation – Peter Thiemann - 1999
19 From Interpreter to Logic Engine by Defunctionalization – Dariusz Biernacki, Olivier Danvy - 2004
41 Recycling Continuations – Jonathan Sobel, Daniel P. Friedman - 1998
130 Representing Monads – Andrzej Filinski - 1994
24 A type-theoretic foundation of continuations and prompts – Zena M Ariola, Hugo Herbelin, Amr Sabry - 2004
9 An Implementation of Transparent Migration on Standard Scheme – Eijiro Sumii - 2000
18 Handling Control – Dorai Sitaram - 1993
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
6 Une étude des sommes fortes : isomorphismes et formes normales – V Balat - 2002
65 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003
34 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2004