SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
SPLASH 2023 (series) / ST30 (series) / 30 Years of Session Types /

So what's the difference between a session type and an ordinary type anyway?

ST30
Sun 22 Oct 2023 17:00 - 17:30 at Room XIII - ST30 Day 1 Session 4 Chair(s): Diana Costa

We review the role of types in logic, mathematics, and computer science and identify some fundamental principles underlying the design of type systems. This will provide us with a lens through which we can view session types and other modern type system and understand similarities, differences, and connections between them.

Sun 22 Oct

Displayed time zone: Lisbon change

16:00 - 17:30
ST30 Day 1 Session 4ST30 at Room XIII
Chair(s): Diana Costa LASIGE, University of Lisbon
16:00
30m
Talk
The Expressiveness of Session Types
ST30
Jorge A. Pérez University of Groningen
Pre-print File Attached
16:30
30m
Talk
What we learned from writing a book about session types
ST30
Simon J. Gay University of Glasgow, UK, Vasco T. Vasconcelos LASIGE, University of Lisbon
17:00
30m
Talk
So what's the difference between a session type and an ordinary type anyway?
ST30
Frank Pfenning Carnegie Mellon University, USA

Frank Pfenning

Carnegie Mellon University, USA