5 citations · 8 across the 4 of their papers we have counts for
1 paper · 2 filters
Ankush Das, Henry DeYoung, Andreia Mordido +1
The importance of subtyping to enable a wider range of well-typed programs is undeniable. However, the interaction between subtyping, recursion, and polymorphism is not completely…