Andreia Mordido

According to our database, Andreia Mordido authored at least 23 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Parametric Subtyping for Structural Parametric Polymorphism.

Henry DeYoung, Andreia Mordido, Frank Pfenning, Ankush Das

Proc. ACM Program. Lang., January, 2024

2023

Parameterized Algebraic Protocols.

Andreia Mordido, Janek Spaderna, Peter Thiemann, Vasco T. Vasconcelos

Proc. ACM Program. Lang., 2023

Kind Inference for the FreeST Programming Language.

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2023

System F^μ_ω with Context-free Session Types.

Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos

CoRR, 2023

System F^μ _ømega with Context-free Session Types.

Diogo Poças, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Programming Languages and Systems, 2023

Subtyping Context-Free Session Types.

Gil Silva, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Nested Session Types.

Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning

ACM Trans. Program. Lang. Syst., 2022

Mixed sessions.

Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos

Theor. Comput. Sci., 2022

Polymorphic lambda calculus with context-free session types.

Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos

Inf. Comput., 2022

Higher-order Context-free Session Types in System F.

Diana Costa, Andreia Mordido, Diogo Poças, Vasco T. Vasconcelos

Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2022

Protocol-Based Smart Contract Generation.

Afonso Falcão, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Financial Cryptography and Data Security. FC 2022 International Workshops, 2022

Polarized Subtyping.

Zeeshan Lakhani, Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning

Proceedings of the Programming Languages and Systems, 2022

2021

Polymorphic Context-free Session Types.

Bernardo Almeida, Andreia Mordido, Peter Thiemann, Vasco T. Vasconcelos

CoRR, 2021

Subtyping on Nested Polymorphic Session Types.

Ankush Das, Henry DeYoung, Andreia Mordido, Frank Pfenning

CoRR, 2021

2020

Mixed Sessions: the Other Side of the Tape.

Filipe Casal, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020

Deciding the Bisimilarity of Context-Free Session Types.

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Mixed Sessions.

Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido

Proceedings of the Programming Languages and Systems, 2020

2019

Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities.

Carlos Caleiro, Filipe Casal, Andreia Mordido

Theor. Comput. Sci., 2019

Probabilistic logic over equations and domain restrictions.

Andreia Mordido, Carlos Caleiro

Math. Struct. Comput. Sci., 2019

FreeST: Context-free Session Types in a Functional Language.

Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos

Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019

2017

Classical Generalized Probabilistic Satisfiability.

Carlos Caleiro, Filipe Casal, Andreia Mordido

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Generalized Probabilistic Satisfiability.

Carlos Caleiro, Filipe Casal, Andreia Mordido

Proceedings of the 11th Workshop on Logical and Semantic Frameworks with Applications, 2016

2015

An Equation-Based Classical Logic.

Andreia Mordido, Carlos Caleiro

Proceedings of the Logic, Language, Information, and Computation, 2015