Typechecking polymorphism in Emerald (1990)

by Andrew P Black, Norman Hutchinson