Types are not sets (1973)

by James H Morris
Venue:In Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages