Introduction to Generalised Type Sytems (1991)

by Henk Barendregt
Venue:J. Functional Programming