Wadler: Once upon a type ;Technical Report (1995)

by Christian Mossin, David N Turner, Philip
Venue:University of Glasgow