Published in: LIPIcs, Volume 263, 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Sung-Shik Jongmans and Francisco Ferreira. Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea). In 37th European Conference on Object-Oriented Programming (ECOOP 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 263, pp. 42:1-42:30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{jongmans_et_al:LIPIcs.ECOOP.2023.42, author = {Jongmans, Sung-Shik and Ferreira, Francisco}, title = {{Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types}}, booktitle = {37th European Conference on Object-Oriented Programming (ECOOP 2023)}, pages = {42:1--42:30}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-281-5}, ISSN = {1868-8969}, year = {2023}, volume = {263}, editor = {Ali, Karim and Salvaneschi, Guido}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2023.42}, URN = {urn:nbn:de:0030-drops-182358}, doi = {10.4230/LIPIcs.ECOOP.2023.42}, annote = {Keywords: behavioural types, multiparty session types, choreographies} }
Published in: DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)
Sung-Shik Jongmans and Francisco Ferreira. Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact). In Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023). Dagstuhl Artifacts Series (DARTS), Volume 9, Issue 2, pp. 18:1-18:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@Article{jongmans_et_al:DARTS.9.2.18, author = {Jongmans, Sung-Shik and Ferreira, Francisco}, title = {{Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Artifact)}}, pages = {18:1--18:2}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2023}, volume = {9}, number = {2}, editor = {Jongmans, Sung-Shik and Ferreira, Francisco}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.18}, URN = {urn:nbn:de:0030-drops-182580}, doi = {10.4230/DARTS.9.2.18}, annote = {Keywords: behavioural types, multiparty session types, choreographies} }
Feedback for Dagstuhl Publishing