Standard ML

Standard ML of New Jersey

Andrew W. Appel and David B. MacQueen (inproceedings, 1991)

Compiling Standard ML to Java Bytecodes

Nick Benton and Andrew Kennedy and George Russell (inproceedings, 1998)

An interview with Robin Milner

Karen A. Frenkel (article, 1993)

Standard ML

Robert E. Harper and David MacQueen and Robin Milner (techreport, 1986)

ML and Beyond

Robert Harper and John C. Mitchell (misc, 1996)

Modules and Persistence in Standard ML

Robert E. Harper (techreport, 1986)

Advanced Languages fo Systems Software: The Fox Project in 1994

Robert Harper and Peter Lee (techreport, 1994)

Optimizing ML with Run-Time Code Generation

Peter Lee and Mark Leone (inproceedings, 1996)

Modules for Standard ML

D. MacQueen (incollection, 1985)

Reflections on Standard ML

David B. MacQueen[ (ed)] (inproceedings, 1992)

The Persimmon MLJ Compiler

Nick Benton and Andrew Kennedy and George Russell (misc, 1998)

A Theory of Type Polymorphism in Programming

Robin Milner (article, 1978)

The Definition of Standard ML

Robin Milner and Mads Tofte and Robert Harper (book, 1990)

Commentary on Standard ML

Robin Milner and Mads Tofte (book, 1991)

Standard ML Type Generativity as Existential Quantification

Claudio V.~Russo (techreport, 1996)

TIL: A Type-Directed Optimizing Compiler for ML

D.~Tarditi and G.~Morrisett and P.~Cheng and C.~Stone and R.~Harper and P.~Lee (inproceedings, 1996)