Polymorphic lambda calculus with context-free session types B Almeida, A Mordido, P Thiemann, VT Vasconcelos
Information and Computation 289, 104948, 2022
26 * 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
23 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
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 Generalized Probabilistic Satisfiability C Caleiro, F Casal, A Mordido
Electronic Notes in Theoretical Computer Science 332, 39-56, 2017
12 2017 Higher-order context-free session types in system F D Costa, A Mordido, D Poças, VT Vasconcelos
arXiv preprint arXiv:2203.12877, 2022
8 2022 Subtyping on nested polymorphic session types A Das, H DeYoung, A Mordido, F Pfenning
arXiv preprint arXiv:2103.15193, 2021
8 2021 Polarized subtyping Z Lakhani, A Das, H DeYoung, A Mordido, F Pfenning
European Symposium on Programming, 431-461, 2022
7 2022 Mixed sessions F Casal, A Mordido, VT Vasconcelos
Theoretical Computer Science 897, 23-48, 2022
7 2022 Mixed sessions VT Vasconcelos, F Casal, B Almeida, A Mordido
European Symposium on Programming, 715-742, 2020
7 2020 Classical generalized probabilistic satisfiability C Caleiro, F Casal, A Mordido
Proceedings of the 26th International Joint Conference on Artificial …, 2017
7 2017 System D Poças, D Costa, A Mordido, VT Vasconcelos
European Symposium on Programming, 392-420, 2023
6 2023 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 Subtyping context-free session types G Silva, A Mordido, VT Vasconcelos
arXiv preprint arXiv:2307.05661, 2023
3 2023 Protocol-based smart contract generation A Falcão, A Mordido, VT Vasconcelos
International Conference on Financial Cryptography and Data Security, 555-582, 2022
3 2022 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
2 2024 Parameterized Algebraic Protocols A Mordido, J Spaderna, P Thiemann, VT Vasconcelos
Proceedings of the ACM on Programming Languages 7 (PLDI), 1389-1413, 2023
2 2023 Probabilistic Logic over Equations and Domain Restrictions A Mordido, C Caleiro
Mathematical Structures of Computer Science, 2019
2 2019 An equation-based classical logic A Mordido, C Caleiro
Logic, Language, Information, and Computation: 22nd International Workshop …, 2015
2 2015 Kind inference for the FreeST programming language B Almeida, A Mordido, VT Vasconcelos
arXiv preprint arXiv:2304.06396, 2023
1 2023 