What We Learned from Writing a Book About Session Types

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.

[ST30] What we learned from writing a book about session types