PL Wadler & C Mossin [June 1995], "Once upon a type (0)

by DN Turner
Venue:in Proc Functional Programming Languages and Computer Architecture, La Jolla, ACM