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
604 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David B MacQueen - 1990
25 A Semantic Account of Type-Directed Partial Evaluation – Andrzej Filinski - 1999
20 Combinators for program generation – Peter Thiemann - 1999
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
45 and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts – Flemming Nielson - 1992
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
301 Higher-order abstract syntax – Frank Pfenning, Conal Elliott
9 An Implementation of Transparent Migration on Standard Scheme – Eijiro Sumii - 2000
14 Memoization in type-directed partial evaluation – Vincent Balat, Olivier Danvy - 2002
18 Handling Control – Dorai Sitaram - 1993
34 Modeling Web Interactions – Paul Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen - 2003
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
14 A Monadic Framework for Delimited Continuations – R. Kent Dybvig, Simon Peyton Jones, Amr Sabry
31 Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums, in: POPL’04 – V Balat, R Di Cosmo, M Fiore - 2004
17 An Operational Foundation for Delimited Continuations – Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy - 2003