An Ideal Model for Recursive Polymorphic Types

An Ideal Model for Recursive Polymorphic Types David B. MacQueen Gordon D. Plotkin Ravi Sethi 95-130 Information and Control October/November 1986 71 1/2 db/journals/iandc/iandc71.html#MacQueenPS86