2024-10-11: Jan de Muijnck-Huges (MSP)

Sat, 5 Oct 2024 09:17:26 +0000

Jan de Muijnck-Huges (MSP)

Bidirectional Typing & Session Types, A Beautiful Friendship?

Abstract

Session Types are a neat typing discipline to reason both statically and dynamically about program interaction. An interesting question is how best we should check communicating programs against a given global type.
Bidirectional typing is an important technique for programming language design and implementation, enabling us to transform the theory of how we should check the type of a term and incorporate the practice of inferring the term's type.
This talk serves as a gentle introduction to bidirectional type system design and session types, and how combining the two can help make type checking session typed programs that little bit easier.

2024-10-11 13:00:00 UTC
LT714 and Online