Static and Dynamic Semantics Processing (1991)

View PDF

Download Links

by Charles Consel , Olivier Danvy
Venue:Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages
Citations:46 - 23 self

Active Bibliography

24 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, René Vestergaard
239 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
28 A Provably Correct Compiler Generator – Jens Palsberg - 1992
24 Generating a Compiler for a Lazy Language by Partial Evaluation – Jesper Jørgensen - 1992
564 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
1353 Monads for functional programming – Philip Wadler - 1995
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
766 Notions of Computation and Monads – Eugenio Moggi - 1991