"Separate Compilation for Standard ML."

Andrew W. Appel, David B. MacQueen (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics