Deadlock-free Context-free Session Types

Andreia Mordido, Jorge A. Pérez

We tackle the problem of statically ensuring that message-passing programs never run into deadlocks. We focus on concurrent functional programs governed by context-free session typ…