5 citations · 8 across the 4 of their papers we have counts for
1 paper · 2 filters
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…