activity
20192025
most citedFreeST: Context-free Session Types in a Functional Language

9 citations · 29 across the 12 of their papers we have counts for

collaborators
Showing 2025Show all

2 papers · 1 filter

cs.PL2025

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★ 1 cited

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…