|
7
|
Metacomputation-based compiler architecture
– William L. Harrison, Samuel N. Kamin
- 2000
|
|
3
|
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
|
|
4
|
Achieving information flow security through monadic control of effects. Invited submission to
– William L. Harrison, James Hook
|
|
|
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
|
|
11
|
Achieving information flow security through precise control of effects
– William L. Harrison
- 2005
|
|
21
|
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
– Olivier Danvy, René Vestergaard
|
|
10
|
Monads for Natural Language Semantics
– Chung-Chieh Shan
|
|
10
|
Prolog's Control Constructs in a Functional . . .
– Ralf Hinze
|
|
7
|
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
|
|
15
|
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
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
16
|
Embedded Interpreters
– Nick Benton
- 2003
|
|
30
|
Extensible Denotational Language Specifications
– Robert Cartwright, Matthias Felleisen
- 1994
|
