Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea).

Sung-Shik Jongmans, Francisco Ferreira

Browse the full ECOOP paper archive.