Second-Order Unification and Type Inference for Church-Style Polymorphism

Aleksy Schubert. Second-Order Unification and Type Inference for Church-Style Polymorphism. In POPL. pages 279-288, 1998. [doi]

Abstract

Abstract is missing.