Two for the Price of One: Composing Partial Evaluation and Compilation (1997)

Cached

Download Links

by Michael Sperber , Peter Thiemann
Citations:21 - 3 self

Documents Related by Co-Citation

645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
207 Type-directed partial evaluation – Olivier Danvy - 1996
174 Partial Evaluation of Computation Process - An Approach to a Compiler-Compiler – Yoshihiko Futamura - 1999
185 A General Approach for Run-Time Specialization and its Application to C – Charles Consel - 1996
1388 The Entity-Relationship Model: Toward a Unified View of Data – Peter Pin-shan Chen - 1976
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
307 Higher-order abstract syntax – F Pfenning, C Elliott
160 Optimizing ML with Run-Time Code Generation – Peter Lee, Mark Leone
459 Comprehending Monads – Philip Wadler - 1992