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
26 A Semantic Account of Type-Directed Partial Evaluation – Andrzej Filinski - 1999
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
20 Combinators for program generation – Peter Thiemann - 1999
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
116 MIX: a self-applicable partial evaluator for experiments – N D Jones, P Sestoft, H Sndergaard - 1989
40 Quasiquotation in Lisp – Alan Bawden - 1999
80 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
302 Higher-order abstract syntax – F Pfenning, C Elliott - 1988
45 and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts – Flemming Nielson - 1992
9 An Implementation of Transparent Migration on Standard Scheme – Eijiro Sumii - 2000
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
61 A Generalization of Exceptions and Control in ML-like Languages – Carl A. Gunter, Didier Rémy, Jon G. Riecke - 1995
14 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
14 Memoization in type-directed partial evaluation – Vincent Balat, Olivier Danvy - 2002
18 Handling Control – Dorai Sitaram - 1993
24 A type-theoretic foundation of continuations and prompts – Zena M Ariola, Hugo Herbelin, Amr Sabry - 2004
19 From Interpreter to Logic Engine by Defunctionalization – Dariusz Biernacki, Olivier Danvy - 2004
41 The calculi of λv-CS conversion: A syntactic theory of control and state in imperative higher-order programming languages – M Felleisen - 1987