An Ideal Model for Recursive Polymorphic Types (1984)

by D McQueen, G Plotkin, R Sethi
Venue:In Symposium on Principles of Programming Languages. ACM