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

Active Bibliography

Keeping sums under control – Vincent Balat - 2004
Semantic Analysis of Normalisation by . . . – Marcelo Fiore - 2002
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
18 Normalization and partial evaluation – Peter Dybjer, Andrzej Filinski - 2002
209 Type-directed partial evaluation – Olivier Danvy - 1996
9 Subtyping Recursive Types modulo Associative Commutative Products – Roberto Di Cosmo, Francois Pottier, Didier Remy - 2003
22 From reduction-based to reduction-free normalization – O Danvy - 2008
Normalisation by Evaluation for System F using Staged Outermost Reduction – René Vestergaard - 2000
Normalization by evaluation with typed abstract syntax – Kristoffer H. Rose, Olivier Danvy, Olivier Danvy, Morten Rhiger, Morten Rhiger, Kristoffer H