Polymorphic lambda calculus with context-free session types B Almeida, A Mordido, P Thiemann, VT Vasconcelos Information and Computation 289, 104948, 2022 | 26* | 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 | 19 | 2020 |
FreeST: Context-free Session Types in a Functional Language B Almeida, A Mordido, VT Vasconcelos arXiv preprint arXiv:1904.01284, 2019 | 14 | 2019 |
Mixed Sessions VT Vasconcelos, F Casal, B Almeida, A Mordido European Symposium on Programming, 715-742, 2020 | 7 | 2020 |
Kind Inference for the FreeST Programming Language B Almeida, A Mordido, VT Vasconcelos arXiv preprint arXiv:2304.06396, 2023 | 1 | 2023 |
Uma linguagem de programação com tipos de sessão independentes do contexto BP Almeida | | 2018 |