Efficient Algebraic Operations on Programs (1991)

Cached

Download Links

by Neil D. Jones
Venue:University of Iowa
Citations:5 - 0 self

Documents Related by Co-Citation

44 Partial evaluation of Standard ML – Lars Birkedal, Morten Welinder - 1993
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
28 A Computational Interpretation of Modal Proofs – Simone Martini, Andrea Masini - 1994
58 A case for runtime code generation – D Keppel, S J Eggers, R R Henry - 1991
97 A simple applicative language: Mini-ML – D Clement, J Despeyroux, T Despeyroux, G Kahn - 1986
80 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
12 Mechanically Verifying the Correctness of an Offline Partial Evaluator – John Hatcliff - 1995
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
190 Reflection and semantics in lisp – B C Smith - 1984
439 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
36 Compilers and staging transformations – Ulrik Jørring, William L Scherlis - 1986
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
54 Lightweight Run-Time Code Generation – Mark Leone, Peter Lee - 1994
126 On the meanings of the logical constants and the justifications of the logical laws – Per Martin-Löf - 1996
616 Light Linear Logic – Jean-yves Girard
185 A General Approach for Run-Time Specialization and its Application to C – Charles Consel - 1996
61 Propositional Lax Logic – Matt Fairtlough, Michael Mendler - 1997
104 `C: A Language for High-Level, Efficient, and Machine-independent Dynamic Code Generation – Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek - 1996