P.Urcyczyn: An Analysis of ML-Typability (1990)

by J Tiuryn A J Kfoury
Venue:15th Colloquium on Trees in Algebra and Programming, CAAP’90