Introduction to Generalized Type Systems

Henk Barendregt. Introduction to Generalized Type Systems. Journal of Functional Programming, 1(2):125-154, 1991.

Abstract

Abstract is missing.