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

Sung-Shik Jongmans, Francisco Ferreira

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

36 Downloads (Pure)
Original languageEnglish
Title of host publication37th European Conference on Object-Oriented Programming, ECOOP 2023
EditorsKarim Ali, Guido Salvaneschi
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Number of pages30
Volume263
ISBN (Electronic)9783959772815
DOIs
Publication statusPublished - Jul 2023
Event37th European Conference on Object-Oriented Programming, ECOOP 2023 - Seattle, United States
Duration: 17 Jul 202321 Jul 2023
https://2023.ecoop.org/

Publication series

SeriesLeibniz International Proceedings in Informatics, LIPIcs
Volume263
ISSN1868-8969

Conference

Conference37th European Conference on Object-Oriented Programming, ECOOP 2023
Country/TerritoryUnited States
CitySeattle
Period17/07/2321/07/23
Internet address

Keywords

  • behavioural types
  • choreographies
  • multiparty session types

Cite this