Seminars and Colloquia
Mathematics
Programs + Communication Structures = Systems
Tue, Feb 12, 2019,
04:30 PM to 05:30 PM
at Madhava Hall
Prof. Simon Gay
University of Glasgow, UK
Computing has changed - the era of data processing has been replaced by
the era of communication. Programming languages have always provided
support for structured data, but now they need to evolve to support
structured communication. The necessary theory comes from the topic of
session types, which are type-theoretic specifications of communication
protocols. I will outline the theory of session types and how they can
be used in programming languages, and describe some past, current and
future projects.
