An ideal model for recursive polymorhpic types (1984)

by D MacQueen, G D Plotkin, R Sethi
Venue:In: Principles of Programming Languages