FreeST: Context-free Session Types in a Functional Language. - Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos (PLACES@ETAPS, 2019)

Mixed Sessions. - Vasco T. Vasconcelos; Filipe Casal; Bernardo Almeida; Andreia Mordido (ESOP, 2020)

Deciding the Bisimilarity of Context-Free Session Types. - Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos (TACAS (2), 2020)

Polymorphic Context-free Session Types. - Bernardo Almeida; Andreia Mordido; Peter Thiemann 001; Vasco T. Vasconcelos (CoRR, 2021)

Polymorphic lambda calculus with context-free session types. - Bernardo Almeida; Andreia Mordido; Peter Thiemann 001; Vasco T. Vasconcelos (Inf. Comput., 2022)

Local Type Inference for Context-Free Session Types. - Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos (PLACES@ETAPS, 2025)

Kind inference for the FreeST programming language. - Bernardo Almeida; Andreia Mordido; Vasco T. Vasconcelos (J. Log. Algebraic Methods Program., 2026)