Collaborated with:L.Fennell ∅ Vasco T. Vasconcelos
Talks about:type (4) session (2) languag (1) intrins (1) gradual (1) semant (1) orient (1) object (1) mechan (1) depend (1)
Person: Peter Thiemann 0001
DBLP: 0001:Peter_Thiemann
Facilitated 1 volumes:
EdContributed to:
20162019
2020Wrote 3 papers:
- ECOOP-2016-FennellT #named #object-oriented #security
- LJGS: Gradual Security Types for Object-Oriented Languages (LF, PT0), p. 26.
- PPDP-2019-Thiemann #semantics
- Intrinsically-Typed Mechanized Semantics for Session Types (PT0), p. 15.
- POPL-2020-ThiemannV
- Label-dependent session types (PT0, VTV), p. 29.