An Ideal Model for Recursive Polymorphic Types.

David B. MacQueenGordon D. PlotkinRavi Sethi
Published in: POPL (1984)
Keyphrases