9 citations · 11 across the 3 of their papers we have counts for
4 papers
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…
Kind Inference for the FreeST Programming Language
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
We present a kind inference algorithm for the FREEST programming language. The input to the algorithm is FREEST source code with (possibly part of) kind annotations replaced by kin…
Polymorphic Lambda Calculus with Context-Free Session Types
Bernardo Almeida, Andreia Mordido, Peter Thiemann +1
Context-free session types provide a typing discipline for recursive structured communication protocols on bidirectional channels. They overcome the restriction of regular session…
FreeST: Context-free Session Types in a Functional Language
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
FreeST is an experimental concurrent programming language. Based on a core linear functional programming language, it features primitives to fork new threads, and for channel creat…