The Second Futamura Projection for Type-Directed Partial Evaluation (1999)

Cached

Download Links

by Bernd Grobauer , Zhe Yang
Venue:HIGHER-ORDER AND SYMBOLIC COMPUTATION
Citations:9 - 2 self

Documents Related by Co-Citation

207 Type-directed partial evaluation – Olivier Danvy - 1996
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
25 A Semantic Account of Type-Directed Partial Evaluation – Andrzej Filinski - 1999
645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
20 Combinators for program generation – Peter Thiemann - 1999
482 The BSD Packet Filter: A New Architecture for User-level Packet Capture – Steven Mccanne, Van Jacobson - 1992
188 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988