ST30
Sun 22 - Mon 23 October 2023 Cascais, Portugal
co-located with SPLASH 2023
All Editions
Sun 22 - Mon 23 October 2023 Cascais, Portugal

ST30 with SPLASH 2023

22nd and 23rd October 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 “sessio ...