An Ideal Model for Recursive Polymorphic Types

David B. MacQueenGordon D. PlotkinRavi Sethi
Published in: Inf. Control. (1986)
Keyphrases