26 citations · 71 across the 22 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.PL2019★ 14 cited
Label-Dependent Session Types
Peter Thiemann, Vasco T. Vasconcelos
Session types have emerged as a typing discipline for communication protocols. Existing calculi with session types come equipped with many different primitives that combine communi…
cs.PL2019
Intrinsically-Typed Mechanized Semantics for Session Types
Peter Thiemann
Session types have emerged as a powerful paradigm for structuring communication-based programs. They guarantee type soundness and session fidelity for concurrent programs with soph…
cs.PL2019
Kindly Bent to Free Us
Gabriel Radanne, Hannes Saffrich, Peter Thiemann
Systems programming often requires the manipulation of resources like file handles, network connections, or dynamically allocated memory. Programmers need to follow certain protoco…