API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

Guillermina Cledou; Luc Edixhoven; Sung-Shik Jongmans; José Proença

doi:10.4230/LIPIcs.ECOOP.2022.27

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

Guillermina Cledou, Luc Edixhoven, Sung-Shik Jongmans^*, José Proença

^*Corresponding author for this work

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

Original language	English
Title of host publication	36th European Conference on Object-Oriented Programming
Subtitle of host publication	ECOOP 2022
Editors	Karim Ali , Jan Vitek
Publisher	Schloss Dagstuhl - LZI GmbH
Pages	27:1-27:28
Number of pages	28
Volume	222
ISBN (Print)	9781713858881, 978-3-95977-225-9
DOIs	https://doi.org/10.4230/LIPIcs.ECOOP.2022.27
Publication status	Published - Jun 2022
Event	European Conference on Object Oriented Programming - Berlin, Germany Duration: 6 Jun 2022 → 10 Jun 2022 https://2022.ecoop.org/

Publication series

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

Conference

Conference	European Conference on Object Oriented Programming
Abbreviated title	ECOOP 2022
Country/Territory	Germany
City	Berlin
Period	6/06/22 → 10/06/22
Internet address	https://2022.ecoop.org/

Access to Document

10.4230/LIPIcs.ECOOP.2022.27Licence: CC BY

Cite this

Cledou, G., Edixhoven, L., Jongmans, S-S., & Proença, J. (2022). API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. In K. A., & J. V. (Eds.), 36th European Conference on Object-Oriented Programming: ECOOP 2022 (Vol. 222, pp. 27:1-27:28). Schloss Dagstuhl - LZI GmbH. Leibniz International Proceedings in Informatics, LIPIcs Vol. 222 https://doi.org/10.4230/LIPIcs.ECOOP.2022.27

Cledou, Guillermina ; Edixhoven, Luc ; Jongmans, Sung-Shik et al. / API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. 36th European Conference on Object-Oriented Programming: ECOOP 2022. editor / Karim Ali ; Jan Vitek. Vol. 222 Schloss Dagstuhl - LZI GmbH, 2022. pp. 27:1-27:28 (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).

@inproceedings{51fb3d3072be4579b25521191871c6f2,

title = "API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3",

author = "Guillermina Cledou and Luc Edixhoven and Sung-Shik Jongmans and Jos{\'e} Proen{\c c}a",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.; European Conference on Object Oriented Programming, ECOOP 2022 ; Conference date: 06-06-2022 Through 10-06-2022",

year = "2022",

month = jun,

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

language = "English",

isbn = "9781713858881",

volume = "222",

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

publisher = "Schloss Dagstuhl - LZI GmbH",

pages = "27:1--27:28",

editor = "{Karim Ali} and {Jan Vitek}",

booktitle = "36th European Conference on Object-Oriented Programming",

address = "Germany",

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

}

Cledou, G, Edixhoven, L , Jongmans, S-S & Proença, J 2022, API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. in KA & JV (eds), 36th European Conference on Object-Oriented Programming: ECOOP 2022. vol. 222, Schloss Dagstuhl - LZI GmbH, Leibniz International Proceedings in Informatics, LIPIcs, vol. 222, pp. 27:1-27:28, European Conference on Object Oriented Programming, Berlin, Germany, 6/06/22. https://doi.org/10.4230/LIPIcs.ECOOP.2022.27

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. / Cledou, Guillermina; Edixhoven, Luc ; Jongmans, Sung-Shik et al.

36th European Conference on Object-Oriented Programming: ECOOP 2022. ed. / Karim Ali; Jan Vitek. Vol. 222 Schloss Dagstuhl - LZI GmbH, 2022. p. 27:1-27:28 (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222).

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

TY - GEN

T1 - API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

AU - Cledou, Guillermina

AU - Edixhoven, Luc

AU - Jongmans, Sung-Shik

AU - Proença, José

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2022/6

Y1 - 2022/6

UR - https://dblp.org/db/conf/ecoop/ecoop2022.html#CledouEJP22

U2 - 10.4230/LIPIcs.ECOOP.2022.27

DO - 10.4230/LIPIcs.ECOOP.2022.27

M3 - Conference Article in proceeding

SN - 9781713858881

SN - 978-3-95977-225-9

VL - 222

T3 - Leibniz International Proceedings in Informatics, LIPIcs

SP - 27:1-27:28

BT - 36th European Conference on Object-Oriented Programming

A2 - null, Karim Ali

A2 - , Jan Vitek

PB - Schloss Dagstuhl - LZI GmbH

T2 - European Conference on Object Oriented Programming

Y2 - 6 June 2022 through 10 June 2022

ER -

Cledou G, Edixhoven L , Jongmans S-S, Proença J. API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3. In KA, JV, editors, 36th European Conference on Object-Oriented Programming: ECOOP 2022. Vol. 222. Schloss Dagstuhl - LZI GmbH. 2022. p. 27:1-27:28. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 222). doi: 10.4230/LIPIcs.ECOOP.2022.27

API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3

Publication series

Conference

Access to Document

Other files and links

Cite this