Once Upon a Type (1995)

by David Turner , Philip Wadler , Christian Mossin
Venue:In Functional Programming Languages and Computer Architecture
Citations:81 - 2 self