An ideal model of types (1984)

by D B MacQueen, G Plotkin, R Sethi
Venue:In Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages