The Hierarchy of Finitely Typed Functional Programs (Short Version)

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

Browse the full LICS paper archive.