Modular Compilers Based on Monad Transformers (1998)

Cached

Download Links

by William L. Harrison , Samuel N. Kamin
Venue:In Proceedings of the IEEE International Conference on Computer Languages
Citations:20 - 2 self

Active Bibliography

7 Metacomputation-based compiler architecture – William L. Harrison, Samuel N. Kamin - 2000
4 Compilation as Metacomputation: Binding Time Separation in Modular Compilers (Extended Abstract) – William L. Harrison, Samuel N. Kamin - 1998
3 Compilation as Partial Evaluation of Functor Category Semantics – William L. Harrison, Samuel N. Kamin - 1997
1 Denotational semantics of ANSI C – Nikolaos S. Papaspyrou - 2001
6 Achieving information flow security through monadic control of effects – William L. Harrison, James Hook - 2009
1 Action Transformation: An . . . – Kent D. Lee - 1998
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
3 From Inheritance to Feature Interaction or Composing Monads – Christian Prehofer - 1997
15 Achieving information flow security through precise control of effects – William L. Harrison - 2005
24 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, René Vestergaard
1 Compilation à la Carte – Laurence E. Day, Graham Hutton
12 Monads for Natural Language Semantics – Chung-Chieh Shan
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
6 A Systematic Study of Functional Language Implementations – Rémi Douence, Pascal Fradet - 1998
4 Coalgebras and Monads in the Semantics of Java – Bart Jacobs, Erik Poll - 2002
16 DSL Implementation Using Staging and Monads – Tim Sheard, Zine-el-abidine Benaissa, Emir Pasalic - 1999
2 Denotational Semantics of Evaluation Order in Expressions with Side Effects – Nikolaos S. Papaspyrou - 1998
Interpretational Overhead in system software – Boris Feigin - 2011
52 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000