Type Inference with Polymorphic Recursion

Fritz Henglein. Type Inference with Polymorphic Recursion. ACM Transactions on Programming Languages and Systems, 15(2):253-289, 1993. [doi]

Abstract

Abstract is missing.