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…