A Standard ML Compiler (1987)

Cached

Download Links

by Andrew W. Appel , David B. Macqueen
Venue:Functional Programming Languages and Computer Architecture
Citations:94 - 14 self

Active Bibliography

18 Compiling Standard ML For Efficient Execution On Modern Machines – Zhong Shao - 1994
65 A Runtime System – Andrew W. Appel - 1990
449 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
985 A theory of type polymorphism in programming – Robin Milner - 1978
964 The Design and Implementation of a Log-Structured File System – Mendel Rosenblum, John K. Ousterhout - 1992
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993