Polymorphic lambda calculus with context-free session types B Almeida, A Mordido, P Thiemann, VT Vasconcelos
Information and Computation 289, 104948, 2022
32 * 2022 Nested session types A Das, H DeYoung, A Mordido, F Pfenning
ACM Transactions on Programming Languages and Systems (TOPLAS) 44 (3), 1-45, 2022
25 2022 Deciding the bisimilarity of context-free session types B Almeida, A Mordido, VT Vasconcelos
26th International Conference on Tools and Algorithms for the Construction …, 2020
23 2020 FreeST: Context-free session types in a functional language B Almeida, A Mordido, VT Vasconcelos
arXiv preprint arXiv:1904.01284, 2019
21 2019 Mixed sessions F Casal, A Mordido, VT Vasconcelos
Theoretical Computer Science 897, 23-48, 2022
14 2022 Generalized Probabilistic Satisfiability C Caleiro, F Casal, A Mordido
Electronic Notes in Theoretical Computer Science 332, 39-56, 2017
13 2017 System with Context-free Session Types D Poças, D Costa, A Mordido, VT Vasconcelos
European Symposium on Programming, 392-420, 2023
11 2023 Polarized subtyping Z Lakhani, A Das, H DeYoung, A Mordido, F Pfenning
European Symposium on Programming, 431-461, 2022
10 2022 Subtyping on nested polymorphic session types A Das, H DeYoung, A Mordido, F Pfenning
arXiv preprint arXiv:2103.15193, 2021
10 2021 Mixed sessions VT Vasconcelos, F Casal, B Almeida, A Mordido
European Symposium on Programming, 715-742, 2020
10 2020 Higher-order context-free session types in system F D Costa, A Mordido, D Poças, VT Vasconcelos
arXiv preprint arXiv:2203.12877, 2022
9 2022 Classical generalized probabilistic satisfiability C Caleiro, F Casal, A Mordido
Proceedings of the 26th International Joint Conference on Artificial …, 2017
7 2017 Subtyping context-free session types G Silva, A Mordido, VT Vasconcelos
arXiv preprint arXiv:2307.05661, 2023
5 2023 FreeST, a Programming Language with Context-free Session Types B Almeida, A Mordido, VT Vasconcelos
5 2019 Parametric subtyping for structural parametric polymorphism H DeYoung, A Mordido, F Pfenning, A Das
Proceedings of the ACM on Programming Languages 8 (POPL), 2700-2730, 2024
4 2024 Protocol-based smart contract generation A Falcão, A Mordido, VT Vasconcelos
International Conference on Financial Cryptography and Data Security, 555-582, 2022
4 2022 Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities C Caleiro, F Casal, A Mordido
Theoretical Computer Science 781, 39-62, 2019
4 2019 Parameterized Algebraic Protocols A Mordido, J Spaderna, P Thiemann, VT Vasconcelos
Proceedings of the ACM on Programming Languages 7 (PLDI), 1389-1413, 2023
3 2023 Towards a SQL Injection Vulnerability Detector Based on Session Types. A Silvestre, I Medeiros, A Mordido
ENASE, 711-718, 2024
2 2024 Probabilistic Logic over Equations and Domain Restrictions A Mordido, C Caleiro
Mathematical Structures of Computer Science, 2019
2 2019