[TYPES/announce] Book Announcement: Session Types

[Vasco T. Vasconcelos]

We would like to call your attention to a new book on session types.

Session types are type-theoretic specifications of communication protocols in concurrent or distributed systems. By codifying the structure of communication, they make software more reliable and easier to construct. Over recent decades, the topic has become a large and active research area within the field of programming language theory and implementation.

Written by leading researchers in the field, this is the first text to provide a comprehensive introduction to the key concepts of session types. The thorough theoretical treatment is complemented by examples and exercises, suitable for use in a lecture course or for self-study. It serves as an entry point to the topic for graduate students and researchers.

For more information refer to the Book Announcement at the Bulletin of EATCS: https://urldefense.com/v3/__http://bulletin.eatcs.org/index.php/beatcs/article/viewFile/833/883__;!!IBzWLUs!Xw5X2LmAxcbMVAhPMlyYgEo4uW4TCNdrp4ieptGkmdfoi0c5SyP8B6Boktt7CaqpsAzZyLeahOlggUoxvQcEDf4CmpFWagIEd6lO7wAm$ 

20% Discount on this title: enter the code SET2025 at the checkout (expires 31 January 2026)

https://urldefense.com/v3/__https://www.cambridge.org/pt/universitypress/subjects/computer-science/programming-languages-and-applied-logic/session-typeshttps:/*www.cambridge.org/pt/universitypress/subjects/computer-science/programming-languages-and-applied-logic/session-types__;Lw!!IBzWLUs!Xw5X2LmAxcbMVAhPMlyYgEo4uW4TCNdrp4ieptGkmdfoi0c5SyP8B6Boktt7CaqpsAzZyLeahOlggUoxvQcEDf4CmpFWagIEd-oxH-Lj$ 

For more information contact one of the authors,
Simon J. Gay
Vasco T. Vasconcelos

“... a comprehensive account of the basic theory and [...] possible applications, beautifully leavened with insightful examples and exercises. It will become—and well deserves to become—the definitive reference textbook on session types.”
Davide Sangiorgi, University of Bologna

“How should we structure distributed computation? One of the most promising approaches is session types. Here we have a superb introduction by two founders of the field. Gay and Vasconcelos provide a readable yet thorough introduction. It has long been needed and will help the field flourish.”
Philip Wadler, University of Edinburgh

“This book offers a deep view on the core theory of binary session types. The reader is captivated by the appropriate and clarifying examples and stimulated by the challenging exercises. The authors are outstanding researchers as witnessed by the simplicity and rigour of their writing.”
Mariangiola Dezani-Ciancaglini, University of Turin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250421/78448d19/attachment.htm>