Once Upon a Type (1995)

by David Turner, Philip Wadler, Christian Mossin
Venue:In Functional Programming Languages and Computer Architecture