An analysis of the Core-ML language: Expressive power and type reconstruction (1994)

by P C Kanellakis, G G Hillebrand, H G Mairson
Venue:In Proc. 21st Int'l Coll. Automata, Languages, and Programming