Polymorphism is not Set-Theoretic. in: Semantics of Data Types (0)

by J C Reynolds
Venue:International Symposium, Sophia-Antipolis