Explore insights gained from writing a book about session types in this 30-minute conference talk presented by Simon J. Gay and Vasco T. Vasconcelos at ACM SIGPLAN. Delve into new understandings of key topics, including coinductive definitions of infinite session types, definitions of linear and sharable session types, novel ideas about subtyping, and details of the propositions-as-types approach to session types. Gain valuable perspectives on how the process of organizing and presenting fundamental concepts led to fresh insights in the field of session types.
Overview
Syllabus
[ST30] What we learned from writing a book about session types
Taught by
ACM SIGPLAN