Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation (0)

Cached

Download Links

by Olivier Danvy , René Vestergaard
Venue:Eighth International Symposium on Programming Language Implementation and Logic Programming
Citations:24 - 8 self

Documents Related by Co-Citation

209 Type-directed partial evaluation – Olivier Danvy - 1996
239 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
50 An inverse of the evaluation functional for typed -calculus – U Berger, H Schwichtenberg - 1991
1353 Monads for functional programming – Philip Wadler - 1995
634 Compiling with Continuations – A Appel - 1992
496 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – J E Stoy - 1977
667 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
64 Program extraction from normalization proofs – Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg - 1993
197 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996