|
42
|
VLISP: A verified implementation of Scheme
– Joshua Guttman, Vipin Swarup, John Ramsdell
- 1995
|
|
1
|
A verified compiler for VLISP PreScheme
– Dino P. Oliva, John D. Ramsdell, Mitchell Wand
- 1993
|
|
14
|
The VLISP Verified PreScheme Compiler
– Dino P. Oliva, John D. Ramsdell
- 1995
|
|
5
|
The Revised VLISP PreScheme Front End
– John D. Ramsdell
- 1993
|
|
|
Results And Conclusions from the . . .
– Joshua Guttman, John Ramsdell, Mitchell Wand
|
|
13
|
The VLISP Verified Scheme System
– Joshua Guttman, Vipin Swarup, John Ramsdell
- 1995
|
|
9
|
Pre-Scheme: A Scheme Dialect for Systems Programming
– Richard A. Kelsey
- 1997
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
|
Modular Monadic Semantics
– Sheng Liang, Paul Hudak
|
|
15
|
RML -- A New Language and Implementation for Natural Semantics
– Mikael Pettersson
- 1994
|
|
1
|
Efficient and safe-for-space closure conversion
– Zhong Shao, Andrew W. Appel
|
|
18
|
Compiling Standard ML For Efficient Execution On Modern Machines
– Zhong Shao
- 1994
|
|
65
|
Space-Efficient Closure Representations
– Zhong Shao, Andrew W. Appel
- 1994
|
|
1
|
Generational copying garbage collection for Standard ML: a quantitative study
– Darko Stefanovic
- 1993
|
|
|
Using Program Structure to Guide Optimization in the Presence of First-Class Functions.
– David Tarditi
- 1994
|
|
50
|
No Assembly Required: Compiling Standard ML to C
– David Tarditi, Peter Lee, Anurag Acharya
- 1990
|
|
|
VLISP Byte Code Interpreter
– Vipin Swarup, William M. Farmer, Joshua D. Guttman, Leonard G. Monk, John D. Ramsdell
- 1992
|
|
1
|
Control Flow Analysis: A Compilation Paradigm for Functional Language
– Manuel Serrano
- 1995
|
|
213
|
Monad Transformers and Modular Interpreters
– Sheng Liang, Paul Hudak, Mark Jones
- 1995
|
