The semantics of polymorphic lambda-calculus (1984)

by K Bruce, A Meyer
Venue:Semantics of Data Types