Type Inference for Bimorphic Recursion

Makoto Tatsuta, Ferruccio Damiani

This paper proposes bimorphic recursion, which is restricted polymorphic recursion such that every recursive call in the body of a function definition has the same type. Bimorphic…