How Session Types Bring Type

Media Summary: Resources: Honda, Vasconcelos & Kubo (1998) - "Language Primitives and [ST30] So what's the difference between a Modern web programming involves coordinating interactions between web browser clients and a web server. Typically, the ...

How Session Types Bring Type - Detailed Analysis & Overview

Resources: Honda, Vasconcelos & Kubo (1998) - "Language Primitives and [ST30] So what's the difference between a Modern web programming involves coordinating interactions between web browser clients and a web server. Typically, the ... Talk by Laura Bocchi, University of Kent, at the VeTSS Summer School, August 2025, Glasgow University, Scotland.

Photo Gallery

How Session Types Bring Type Safety To Communication

Jorge Perez, "Session Types and Higher-Order Concurrency"

Keynote: Shared Session Types for Safe, Practical Concurrency – Stephanie Balzer

[ST30] So what's the difference between a session type and an ordinary type anyway?

Type-safe Web Programming Using Routed Multiparty Session Types in Type Script - Student project

Less is More: Multiparty Session Types Revisited

Session vs Token Authentication in 100 Seconds

L. Bocchi, “Session Types, Asynchronous Communication, and Subtyping”, VeTSS Summer School 25 (VSS25

View Detailed Profile

How Session Types Bring Type Safety To Communication

How Session Types Bring Type Safety To Communication

Resources: Honda, Vasconcelos & Kubo (1998) - "Language Primitives and

Jorge Perez, "Session Types and Higher-Order Concurrency"

Jorge Perez, "Session Types and Higher-Order Concurrency"

24 February 2021 https://www.cl.cam.ac.uk/events/owls/

Keynote: Shared Session Types for Safe, Practical Concurrency – Stephanie Balzer

Keynote: Shared Session Types for Safe, Practical Concurrency – Stephanie Balzer

A key restriction of prior

[ST30] So what's the difference between a session type and an ordinary type anyway?

[ST30] So what's the difference between a session type and an ordinary type anyway?

[ST30] So what's the difference between a

Type-safe Web Programming Using Routed Multiparty Session Types in Type Script - Student project

Type-safe Web Programming Using Routed Multiparty Session Types in Type Script - Student project

Modern web programming involves coordinating interactions between web browser clients and a web server. Typically, the ...

Less is More: Multiparty Session Types Revisited

Less is More: Multiparty Session Types Revisited

... multiparty

Session vs Token Authentication in 100 Seconds

Session vs Token Authentication in 100 Seconds

Learn the difference between

L. Bocchi, “Session Types, Asynchronous Communication, and Subtyping”, VeTSS Summer School 25 (VSS25

L. Bocchi, “Session Types, Asynchronous Communication, and Subtyping”, VeTSS Summer School 25 (VSS25

Talk by Laura Bocchi, University of Kent, at the VeTSS Summer School, August 2025, Glasgow University, Scotland.