MPST

ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

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

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