The Standard ML Core Language (1985)

by R Milner
Venue:Polymorphism, V