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 with Context-free Session Types 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 |
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 |
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 |