1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Chuta Sano, Ryan Kavanagh, Brigitte Pientka
Session types employ a linear type system that ensures that communication channels cannot be implicitly copied or discarded. As a result, many mechanizations of these systems requi…