Follow
Andreia Mordido
Andreia Mordido
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Verified email at fc.ul.pt
Title
Cited by
Cited by
Year
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
232022
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
192020
FreeST: Context-free session types in a functional language
B Almeida, A Mordido, VT Vasconcelos
arXiv preprint arXiv:1904.01284, 2019
152019
Generalized Probabilistic Satisfiability
C Caleiro, F Casal, A Mordido
Electronic Notes in Theoretical Computer Science 332, 39-56, 2017
122017
Mixed sessions
F Casal, A Mordido, VT Vasconcelos
Theoretical Computer Science 897, 23-48, 2022
92022
Subtyping on nested polymorphic session types
A Das, H DeYoung, A Mordido, F Pfenning
arXiv preprint arXiv:2103.15193, 2021
92021
Higher-order context-free session types in system F
D Costa, A Mordido, D Poças, VT Vasconcelos
arXiv preprint arXiv:2203.12877, 2022
82022
Polarized subtyping
Z Lakhani, A Das, H DeYoung, A Mordido, F Pfenning
European Symposium on Programming, 431-461, 2022
72022
Mixed sessions
VT Vasconcelos, F Casal, B Almeida, A Mordido
European Symposium on Programming, 715-742, 2020
72020
Classical generalized probabilistic satisfiability
C Caleiro, F Casal, A Mordido
Proceedings of the 26th International Joint Conference on Artificial …, 2017
72017
System with Context-free Session Types
D Poças, D Costa, A Mordido, VT Vasconcelos
European Symposium on Programming, 392-420, 2023
62023
Protocol-based smart contract generation
A Falcão, A Mordido, VT Vasconcelos
International Conference on Financial Cryptography and Data Security, 555-582, 2022
42022
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
42019
Subtyping context-free session types
G Silva, A Mordido, VT Vasconcelos
arXiv preprint arXiv:2307.05661, 2023
32023
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
22024
Parameterized Algebraic Protocols
A Mordido, J Spaderna, P Thiemann, VT Vasconcelos
Proceedings of the ACM on Programming Languages 7 (PLDI), 1389-1413, 2023
22023
Probabilistic Logic over Equations and Domain Restrictions
A Mordido, C Caleiro
Mathematical Structures of Computer Science, 2019
22019
An equation-based classical logic
A Mordido, C Caleiro
Logic, Language, Information, and Computation: 22nd International Workshop …, 2015
22015
Kind inference for the FreeST programming language
B Almeida, A Mordido, VT Vasconcelos
arXiv preprint arXiv:2304.06396, 2023
12023
The system can't perform the operation now. Try again later.
Articles 1–20