The Hierarchy of Finitely Typed Functional Programs (1987)

by A Kfoury, J Tiuryn, P Urzyczyn
Venue:In Proceedings 2nd IEEE LICS