Session Types

This introductory text explores the key concepts of session types, which codify the structure of communication, making software more reliable and easier to construct. Complemented by examples and exercises throughout, it serves as an entry point to the topic for graduate students and researchers.

List of contents

1. Introduction; 2. Basic concepts; 3. Infinite behaviour; 4. Sharing; 5. Subtyping; 6. Algorithmic typing; 7. Functional programming; 8. Linear pi calculus with values; 9. Propositions as sessions; References; Index.

About the author

Simon J. Gay is Professor and Head of Computing Science at the University of Glasgow. He has co-edited two previous books: 'Semantic Techniques in Quantum Computation' (2010) and 'Behavioural Types: From Theory to Tools' (2017).Vasco T. Vasconcelos is Professor at the Universidade de Lisboa. He co-authored one of the first papers on session types, for which he received the ETAPS Test of Time Award (2019).

Summary

This introductory text explores the key concepts of session types, which codify the structure of communication, making software more reliable and easier to construct. Complemented by examples and exercises throughout, it serves as an entry point to the topic for graduate students and researchers.

Product details

• Authors: Simon J. Gay, Simon J. (University of Glasgow) Vasconcelos Gay, Vasco T. Vasconcelos, Vasconcelos Vasco T.
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 30.04.2025
• EAN: 9781316518274
• ISBN: 978-1-316-51827-4
• No. of pages: 246
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; Mathematical theory of computation, Computer programming / software engineering, Games development and programming, COMPUTERS / Languages / General