5 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
Zeeshan Lakhani, Ankush Das, Henry DeYoung +2
Polarization of types in call-by-push-value naturally leads to the separation of inductively defined observable values (classified by positive types), and coinductively defined com…