6 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
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…