Type reconstruction in the presence of polymorphic recursion
Assaf J. Kfoury, Jerzy Tiuryn, Paweł Urzyczyn · ACM Transactions on Programming Languages and Systems · 1993
We study the problem of type-checking functional programs in three extensions of ML.One distinguishing feature of these extensions is that they allow recursive definitions to be polymorphically typed.Although the motivation for these extensions comes from pragmatic considera-