Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation (0)

Cached

Download Links

by Olivier Danvy , René Vestergaard
Venue:Eighth International Symposium on Programming Language Implementation and Logic Programming
Citations:23 - 8 self

Documents Related by Co-Citation

207 Type-directed partial evaluation – Olivier Danvy - 1996
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
50 An inverse of the evaluation functional for typed -calculus – U Berger, H Schwichtenberg - 1991
19 Modular Compilers Based on Monad Transformers – William Harrison, Samuel N. Kamin - 1998
60 Program extraction from normalization proofs – Ulrich Berger, Stefan Berghofer, Pierre Letouzey, Helmut Schwichtenberg - 1993
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
7 A modular semantics for compiler generation – S Liang - 1995
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
1312 Monads for functional programming – Philip Wadler - 1995
625 Compiling With Continuations – A W Appel - 1992
185 A General Approach for Run-Time Specialization and its Application to C – Charles Consel - 1996
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
53 Realistic Compiler Generation – P Lee - 1989
51 Deriving target code as a representation of continuation semantics – Mitchell Wand
471 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – Joseph E Stoy - 1981
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
29 Handwriting cogen to avoid problems with static typing – C K Holst, J Launchbury - 1991
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
146 A Tutorial on Action Semantics – Peter D Mosses - 1996