Choreographies

ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

ISoLA 2022

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

ECOOP 2022

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