26 citations · 71 across the 22 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020★ 3 cited
Relating Functional and Imperative Session Types
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…
cs.PL2020★ 26 cited
Duality of Session Types: The Final Cut
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos
Duality is a central concept in the theory of session types. Since a flaw was found in the original definition of duality for recursive types, several other definitions have been p…