3 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Hannes Saffrich, Peter Thiemann
Imperative session types provide an imperative interface to session-typed communication. In such an interface, channel references are first-class objects with operations that chang…