Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Technical Report)

Sung-Shik Jongmans, Francisco Ferreira

Research output: Book/ReportTechnical reportAcademic

3 Downloads (Pure)
Original languageEnglish
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Number of pages38
Volume263
Publication statusPublished - 2023
EventEuropean Conference on Object-Oriented Programming - Seattle, United States
Duration: 17 Jul 202321 Jul 2023
https://conf.researchr.org/home/ecoop-2023

Cite this