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

Research output: Book/Report › Technical report › Academic

3 Downloads (Pure)

Original language	English
Publisher	Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Number of pages	38
Volume	263
Publication status	Published - 2023
Event	European Conference on Object-Oriented Programming - Seattle, United States Duration: 17 Jul 2023 → 21 Jul 2023 https://conf.researchr.org/home/ecoop-2023

Access to Document

@book{8f44f20b1aee4caf9157edcd1bdcd910,

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

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

year = "2023",

language = "English",

volume = "263",

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

address = "Germany",

note = "European Conference on Object-Oriented Programming, ECOOP 2023 ; Conference date: 17-07-2023 Through 21-07-2023",

url = "https://conf.researchr.org/home/ecoop-2023",

}

TY - BOOK

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

AU - Jongmans, Sung-Shik

AU - Ferreira, Francisco

PY - 2023

Y1 - 2023

M3 - Technical report

VL - 263

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

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

T2 - European Conference on Object-Oriented Programming

Y2 - 17 July 2023 through 21 July 2023

ER -