Bernardo Almeida

According to our database, Bernardo Almeida authored at least 7 papers between 2019 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Kind inference for the FreeST programming language.

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

J. Log. Algebraic Methods Program., 2026

2025

Local Type Inference for Context-Free Session Types.

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, May, 2025

2022

Polymorphic lambda calculus with context-free session types.

Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos

Inf. Comput., 2022

2021

Polymorphic Context-free Session Types.

Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos

CoRR, 2021

2020

Deciding the Bisimilarity of Context-Free Session Types.

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Mixed Sessions.

Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido

Proceedings of the Programming Languages and Systems, 2020

2019

FreeST: Context-free Session Types in a Functional Language.

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019