2 papers
cs.PL2026
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…
cs.PL2025
Local Type Inference for Context-Free Session Types
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
We address the problem of local type inference for a language based on System F with context-free session types. We present an algorithm that leverages the bidirectional type check…