WPI - Computer Science Department, MS Thesis Presentation, Alex Friedman "Regular Session Types"

 Regular Session Types

Alex Friedman

MS Student

WPI – Computer Science

Date: November 28th, 2023

Time: 11:00a.m. – 12:00 p.m.

Location: Campus Center, Peterson Conference Room # 304

Advisor: Professor Rose Bohrer

Reader: Professor George Heineman

Abstract:

We introduce Regular Session Types (RST), a (binary, synchronous, classical) session-typed calculus for which we prove a direct correspondence with regular languages, in addition to progress and preservation. Compared to recent studies of regularity in session types, RST’s contribution is that it makes the treatment of regularity particularly straightforward. 

To achieve this, the main technical novelties in RST are the internalization of iteration as a first-class type connective and the stratification of session types into read and write session types. The read and write types correspond directly to negative and positive types from polarized session types with one key modification: positive and negative operators are not freely intermixed.