A Proper Extension of ML with an Effective Type-Assignment.

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

Browse the full POPL paper archive.