5 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
Ankush Das, Henry DeYoung, Andreia Mordido +1
Session types statically describe communication protocols between concurrent message-passing processes. Unfortunately, parametric polymorphism even in its restricted prenex form is…