1 citations · 2 across the 4 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…