[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
