Original language | English |
---|---|
Publisher | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing |
Number of pages | 38 |
Volume | 263 |
Publication status | Published - 2023 |
Event | European Conference on Object-Oriented Programming - Seattle, United States Duration: 17 Jul 2023 → 21 Jul 2023 https://conf.researchr.org/home/ecoop-2023 |
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Technical Report)
Sung-Shik Jongmans, Francisco Ferreira
Research output: Book/Report › Technical report › Academic
3
Downloads
(Pure)