The Definition of Standard ML: Revised
Robin Milner
The TIL (Typed Intermediate Languages) compiler developed at Carnegie Mellon
University by Greg Morrisett, David Tarditi, Perry Cheng, Chris Stone, Robert
Harper, and Peter Lee demonstrates the use of types in compilation. All but the
last ...