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

Paris C. Kanellakis, Gerd G. Hillebrand, Harry G. Mairson

Browse the full ICALP paper archive.