|
|
Modular Monadic Semantics
– Sheng Liang, Paul Hudak
|
|
52
|
Modular Denotational Semantics for Compiler Construction
– Sheng Liang, Paul Hudak
- 1996
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
15
|
DSL Implementation Using Staging and Monads
– Tim Sheard, Zine-el-abidine Benaissa, Emir Pasalic
- 1999
|
|
108
|
Building Domain-Specific Embedded Languages
– Paul Hudak
- 1996
|
|
95
|
Modular Domain Specific Languages and Tools
– Paul Hudak
- 1998
|
|
2
|
From Interpreter to Compiler using Staging and Monads
– Tim Sheard, Zine-el-abidine Benaissa
- 1998
|
|
6
|
A guide to VLISP, a verified programming language implementation
– J. D. Guttman, L. G. Monk, J. D. Ramsdell, W. M. Farmer, V. Swarup
- 1992
|
|
1
|
Structuring Functional Programs By Using Monads
– Davor Obradovic
- 1998
|
|
26
|
The Complexity of Type Inference for Higher-Order Typed Lambda Calculi
– Fritz Henglein, Harry G. Mairson
- 1991
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
46
|
First-class Polymorphism with Type Inference
– Mark P. Jones
|
|
11
|
More Advice on Proving a Compiler Correct: Improve a Correct Compiler
– E. Meijer, E. Meijer
- 1994
|
|
192
|
Standard ML of New Jersey
– Andrew W. Appel, David B. Macqueen
- 1991
|
|
26
|
Asynchronous Signals in Standard ML
– John H. Reppy
- 1990
|
|
1
|
Efficient and safe-for-space closure conversion
– Zhong Shao, Andrew W. Appel
|
|
15
|
RML -- A New Language and Implementation for Natural Semantics
– Mikael Pettersson
- 1994
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
65
|
Space-Efficient Closure Representations
– Zhong Shao, Andrew W. Appel
- 1994
|
