Intrinsically-Typed Mechanized Semantics for Session Types.

Peter Thiemann

Browse the full PPDP paper archive.