Standard ML. LFCS report series ECSLFCS (1986)

by R Harper, D McQueen, Robin Milner
Venue:Laboratory for Foundations of Computer Science, Dept. of Computer Science, University of Edinburgh