A compilation manager for SML/NJ. as part of SML/NJ User's Guide (1995)

by M Blume
Venue:In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism