An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction.

Paris C. Kanellakis Gerd G. Hillebrand Harry G. Mairson An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction. 83-105 1994 conf/icalp/1994 ICALP db/conf/icalp/icalp94.html#KanellakisHM94 http://dx.doi.org/10.1007/3-540-58201-0_60