research
∙
01/12/2023
A Minimal Formulation of Session Types
Session types are a type-based approach to the verification of message-p...
share
research
∙
01/25/2022
Scalable Typestate Analysis for Low-Latency Environments
Static analyses based on typestates are important in certifying correctn...
research
∙
07/22/2021
Minimal Session Types for the π-calculus (Extended Version)
Session types enable the static verification of message-passing programs...
research
∙
06/10/2019