Urzyczyn: An analysis of ML typability (0)

by A J Kfoury, J Tiuryn, P
Venue:Proc. 15{th Colloquium on Trees in Algebra and Programming, CAAP'90