Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types

Sung-Shik Jongmans; Francisco Ferreira

doi:10.4230/LIPIcs.ECOOP.2023.42

Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types

Sung-Shik Jongmans, Francisco Ferreira

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

49 Downloads (Pure)

Original language	English
Title of host publication	37th European Conference on Object-Oriented Programming, ECOOP 2023
Editors	Karim Ali, Guido Salvaneschi
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Number of pages	30
Volume	263
ISBN (Electronic)	9783959772815
DOIs	https://doi.org/10.4230/LIPIcs.ECOOP.2023.42
Publication status	Published - Jul 2023
Event	37th European Conference on Object-Oriented Programming, ECOOP 2023 - Seattle, United States Duration: 17 Jul 2023 → 21 Jul 2023 https://2023.ecoop.org/

Publication series

Series	Leibniz International Proceedings in Informatics, LIPIcs
Volume	263
ISSN	1868-8969

Conference

Conference	37th European Conference on Object-Oriented Programming, ECOOP 2023
Country/Territory	United States
City	Seattle
Period	17/07/23 → 21/07/23
Internet address	https://2023.ecoop.org/

Keywords

behavioural types
choreographies
multiparty session types

Access to Document

10.4230/LIPIcs.ECOOP.2023.42Licence: CC BY

ecoop2023-trAccepted author manuscript, 665 KBLicence: CC BY

Cite this

Jongmans, S.-S., & Ferreira, F. (2023). Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types. In K. Ali, & G. Salvaneschi (Eds.), 37th European Conference on Object-Oriented Programming, ECOOP 2023 (Vol. 263). Article 42 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2023.42

Jongmans, Sung-Shik ; Ferreira, Francisco. / Synthetic Behavioural Typing : Sound, Regular Multiparty Sessions via Implicit Local Types. 37th European Conference on Object-Oriented Programming, ECOOP 2023. editor / Karim Ali ; Guido Salvaneschi. Vol. 263 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2023. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 263).

@inproceedings{8f44f20b1aee4caf9157edcd1bdcd910,

title = "Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types",

keywords = "behavioural types, choreographies, multiparty session types",

author = "Sung-Shik Jongmans and Francisco Ferreira",

note = "Publisher Copyright: {\textcopyright} Sung-Shik Jongmans and Francisco Ferreira;; 37th European Conference on Object-Oriented Programming, ECOOP 2023 ; Conference date: 17-07-2023 Through 21-07-2023",

year = "2023",

month = jul,

doi = "10.4230/LIPIcs.ECOOP.2023.42",

language = "English",

volume = "263",

series = "Leibniz International Proceedings in Informatics, LIPIcs",

publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",

editor = "Karim Ali and Guido Salvaneschi",

booktitle = "37th European Conference on Object-Oriented Programming, ECOOP 2023",

address = "Germany",

url = "https://2023.ecoop.org/",

}

Jongmans, S-S & Ferreira, F 2023, Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types. in K Ali & G Salvaneschi (eds), 37th European Conference on Object-Oriented Programming, ECOOP 2023. vol. 263, 42, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Leibniz International Proceedings in Informatics, LIPIcs, vol. 263, 37th European Conference on Object-Oriented Programming, ECOOP 2023, Seattle, Washington, United States, 17/07/23. https://doi.org/10.4230/LIPIcs.ECOOP.2023.42

Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types. / Jongmans, Sung-Shik; Ferreira, Francisco.
37th European Conference on Object-Oriented Programming, ECOOP 2023. ed. / Karim Ali; Guido Salvaneschi. Vol. 263 Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2023. 42 (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 263).

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

T1 - Synthetic Behavioural Typing

T2 - 37th European Conference on Object-Oriented Programming, ECOOP 2023

AU - Jongmans, Sung-Shik

AU - Ferreira, Francisco

PY - 2023/7

Y1 - 2023/7

KW - behavioural types

KW - choreographies

KW - multiparty session types

U2 - 10.4230/LIPIcs.ECOOP.2023.42

DO - 10.4230/LIPIcs.ECOOP.2023.42

M3 - Conference Article in proceeding

AN - SCOPUS:85167724676

VL - 263

T3 - Leibniz International Proceedings in Informatics, LIPIcs

BT - 37th European Conference on Object-Oriented Programming, ECOOP 2023

A2 - Ali, Karim

A2 - Salvaneschi, Guido

PB - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

Y2 - 17 July 2023 through 21 July 2023

ER -

Jongmans SS, Ferreira F. Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types. In Ali K, Salvaneschi G, editors, 37th European Conference on Object-Oriented Programming, ECOOP 2023. Vol. 263. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. 2023. 42. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 263). doi: 10.4230/LIPIcs.ECOOP.2023.42