Separate Compilation for Standard ML (1994)

by Andrew W. Appel, David B. Macqueen