José Proença
José Proença
Home
Events
Projects
Publications
Posts
Research
Teaching
Contact
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)
Cite
×