On the type structure of Standard ML (1993)

by Univ of Glasgow rep, Scotland Harper Glasgow, R, J C Mitchell
Venue:ACM Trans. Program. Lang. Syst