Local guide to Standard ML (1993)

by D Tarditi, G Rollins
Venue:ACM Transactions on Software Engineering and Methodology