Introduction to polymorphic lambda-calculus (1990)

by J C Reynolds
Venue:Logical Foundations of Functional Programming