research
∙
06/22/2023
Special Delivery: Programming with Mailbox Types (Extended Version)
The asynchronous and unidirectional communication model supported by mai...
share
research
∙
01/20/2022
The Different Shades of Infinite Session Types
Many type systems include infinite types. In session type systems, which...
research
∙
05/14/2021
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)
Human fallibility, unpredictable operating environments, and the heterog...
research
∙
04/03/2020
Duality of Session Types: The Final Cut
Duality is a central concept in the theory of session types. Since a fla...
research
∙
02/04/2019