An Ideal Model for Recursive Polymorphic Types.

David B. MacQueen, Gordon D. Plotkin, Ravi Sethi

Browse the full POPL paper archive.