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.

Sommario

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.

Info autore

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).

Riassunto

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.

Dettagli sul prodotto

• Autori: Simon J. Gay, Simon J. (University of Glasgow) Vasconcelos Gay, Vasco T. Vasconcelos, Vasconcelos Vasco T.
• Editore: Cambridge University Press ELT
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 30.04.2025
• EAN: 9781316518274
• ISBN: 978-1-316-51827-4
• Pagine: 246
• Categorie: Scienze naturali, medicina, informatica, tecnica > Informatica, EDP > Informatica; Mathematical theory of computation, Computer programming / software engineering, Games development and programming, COMPUTERS / Languages / General