ST30
Dates to be announced Cascais, Portugal
co-located with SPLASH 2023
All Editions
Dates to be announced Cascais, Portugal

ST30 with SPLASH 2023

Session types are a type-theoretic approach to specifying communication protocols so that they can be verified by type-checking. This year marks 30 years since the first paper on session types, by Kohei Honda at CONCUR 1993. Since then the topic has attracted increasing interest, and a substantial community and literature have developed. Google Scholar lists almost 400 articles with “session types” in the title, ...