3 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.PL2024★ 2 cited
Law and Order for Typestate with Borrowing
Hannes Saffrich, Yuki Nishida, Peter Thiemann
Typestate systems are notoriously complex as they require sophisticated machinery for tracking aliasing. We propose a new, transition-oriented foundation for typestate in the setti…
cs.PL2022★ 1 cited
Polymorphic Typestate for Session Types
Hannes Saffrich, Peter Thiemann
Session types provide a principled approach to typed communication protocols that guarantee type safety and protocol fidelity. Formalizations of session-typed communication are typ…
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…