Polymorphic lambda calculus with context-free session types B Almeida, A Mordido, P Thiemann, VT Vasconcelos
Information and Computation 289, 104948, 2022
30 * 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
24 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
22 2020 FreeST: Context-free session types in a functional language B Almeida, A Mordido, VT Vasconcelos
arXiv preprint arXiv:1904.01284, 2019
19 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 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 System D Poças, D Costa, A Mordido, VT Vasconcelos
European Symposium on Programming, 392-420, 2023
9 2023 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 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 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
3 2024 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 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 