Follow
Bernardo Almeida
Bernardo Almeida
LASIGE, Faculdade de Ciências, Universidade de Lisboa
Verified email at fc.ul.pt
Title
Cited by
Cited by
Year
Polymorphic lambda calculus with context-free session types
B Almeida, A Mordido, P Thiemann, VT Vasconcelos
Information and Computation 289, 104948, 2022
27*2022
Deciding the bisimilarity of context-free session types
B Almeida, A Mordido, VT Vasconcelos
International Conference on Tools and Algorithms for the Construction and …, 2020
202020
FreeST: Context-free Session Types in a Functional Language
B Almeida, A Mordido, VT Vasconcelos
arXiv preprint arXiv:1904.01284, 2019
162019
Mixed Sessions
VT Vasconcelos, F Casal, B Almeida, A Mordido
European Symposium on Programming, 715-742, 2020
82020
Kind Inference for the FreeST Programming Language
B Almeida, A Mordido, VT Vasconcelos
arXiv preprint arXiv:2304.06396, 2023
12023
Uma linguagem de programação com tipos de sessão independentes do contexto
BP Almeida
2018
The system can't perform the operation now. Try again later.
Articles 1–6