Polymorphism is not set-theoretic (1984)

by J C Reynolds
Venue:Semantics of Data Types