Principles and a preliminary design for ML2000. http: //flint.cs.yale.edu/flint/publications/ml2000.html (1999)

by Andrew Appel, Luca Cardelli, Kathleen Fisher, Carl Gunter, Robert Harper, Xavier Leroy, Mark Lillibridge, David B MacQueen, John Mitchell, Greg Morrisett, John H Reppy, Jon G Riecke, Zhong Shao, Christopher A Stone