Bernardo Almeida
PAST
| Acronym | Title | Funding Entity | Start Date | End Date |
|---|---|---|---|---|
| SafeSessions | Safe Concurrent Programming with Session Types | FCT | 01/03/2021 | 31/08/2024 |
| CONFIDENT | Communication Contracts for Distributed Systems Development | FCT | 01/05/2016 | 31/10/2019 |
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. Kind inference for the FreeST programming language. Journal of Logical and Algebraic Methods in Programming, 148, Elsevier BV, 2026 [Biblius]
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. Local Type Inference for Context-Free Session Types. Electronic Proceedings in Theoretical Computer Science, 420, Open Publishing Association, 2025 [Biblius]
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. Kind Inference for the FreeST Programming Language. In Electronic Proceedings in Theoretical Computer Science, pages 1-13. Open Publishing Association, 2023 [Biblius]
Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos. Polymorphic lambda calculus with context-free session types. Information and Computation, 289, Elsevier BV, 2022 [Biblius]
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. Deciding the Bisimilarity of Context-Free Session Types. In Tools and Algorithms for the Construction and Analysis of Systems,Lecture Notes in Computer Science, pages 39-56. Springer International Publishing, 2020 [Biblius]
Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido. Mixed Sessions. In Programming Languages and Systems,Lecture Notes in Computer Science, pages 715-742. Springer International Publishing, 2020 [Biblius]
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos. FreeST: Context-free Session Types in a Functional Language, Electronic Proceedings in Theoretical Computer Science, 2019 [Biblius]
Bernardo Pinto de Almeida, Vasco Manuel Thudichum de Serpa Vasconcelos. Uma linguagem de programação com tipos de sessão independentes do contexto. Dissertação de Mestrado, 2018 [Biblius]