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:15 - 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
39 The Calculi of λv-CS conversion: a syntactic theory of control and state in imperative higher order programming – M Felleisen - 1987
65 A Functional Abstraction of Typed Contexts – Olivier Danvy, Andrzej Filinski - 1989
62 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
95 Abstracting Control – Olivier Danvy, Andrzej Filinski - 1990
20 Combinators for program generation – Peter Thiemann - 1999
41 Recycling Continuations – Jonathan Sobel, Daniel P. Friedman - 1998
130 Representing Monads – Andrzej Filinski - 1994
19 From Interpreter to Logic Engine by Defunctionalization – Dariusz Biernacki, Olivier Danvy - 2004
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
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003
35 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 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
34 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2004
67 A functional correspondence between evaluators and abstract machines – Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard - 2003