Bernardo Almeida

According to our database, Bernardo Almeida authored at least 6 papers between 2019 and 2023.

Collaborative distances:

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

2023

Kind Inference for the FreeST Programming Language.

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2023

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