E-LIB Suche - Ergebnisse für: Mordido, Andreia

1

Polymorphic higher-order context-free session types:

Costa, Diana ; Mordido, Andreia ; Poças, Diogo.
Theoretical Computer Science. 1001 (2024) - p. 114582 , 2024

2

Parametric Subtyping for Structural Parametric Polymorphism:

DeYoung, Henry ; Mordido, Andreia ; Pfenning, Frank.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 2700-2730 , 2024

Link: https://doi.org/10.1145/..

3

System $$F^\mu _\omega $$ with Context-free Session Types:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Poças, Diogo ; Costa, Diana ; Mordido, Andreia. - p. 392-420 , 2023

Link: https://doi.org/10.1007/..

4

Protocol-Based Smart Contract Generation:

, In: Financial Cryptography and Data Security. FC 2022 International Workshops; Lecture Notes in Computer Science,

Falcão, Afonso ; Mordido, Andreia ; Vasconcelos, Vasco T. - p. 555-582 , 2023

Link: https://doi.org/10.1007/..

5

Polarized Subtyping:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Lakhani, Zeeshan ; Das, Ankush ; DeYoung, Henry.. - p. 431-461 , 2022

Link: https://doi.org/10.1007/..

6

Mixed sessions:

Casal, Filipe ; Mordido, Andreia ; Vasconcelos, Vasco T.
Theoretical Computer Science. 897 (2022) - p. 23-48 , 2022

Link: https://doi.org/10.1016/..

7

Nested Session Types:

Das, Ankush ; Deyoung, Henry ; Mordido, Andreia.
ACM Transactions on Programming Languages and Systems. 44 (2022) 3 - p. 1-45 , 2022

Link: https://doi.org/10.1145/..

8

Polymorphic lambda calculus with context-free session types:

Almeida, Bernardo ; Mordido, Andreia ; Thiemann, Peter.
Information and Computation. 289 (2022) - p. 104948 , 2022

Link: https://doi.org/10.1016/..

9

Nested Session Types:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Das, Ankush ; DeYoung, Henry ; Mordido, Andreia. - p. 178-206 , 2021

Link: https://doi.org/10.1007/..

10

Mixed Sessions:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Vasconcelos, Vasco T. ; Casal, Filipe ; Almeida, Bernardo. - p. 715-742 , 2020

Link: https://doi.org/10.1007/..

11

Deciding the Bisimilarity of Context-Free Session Types:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Almeida, Bernardo ; Mordido, Andreia ; Vasconcelos, Vasco T. - p. 39-56 , 2020

Link: https://doi.org/10.1007/..

12

Probabilistic logic over equations and domain restrictions:

Mordido, Andreia ; Caleiro, Carlos
Mathematical Structures in Computer Science. 29 (2019) 6 - p. 872-895 , 2019

Link: https://doi.org/10.1017/..

13

Generalized probabilistic satisfiability and applications t..:

Caleiro, Carlos ; Casal, Filipe ; Mordido, Andreia
Theoretical Computer Science. 781 (2019) - p. 39-62 , 2019

Link: https://doi.org/10.1016/..

14

Generalized Probabilistic Satisfiability:

Caleiro, Carlos ; Casal, Filipe ; Mordido, Andreia
Electronic Notes in Theoretical Computer Science. 332 (2017) - p. 39-56 , 2017

Link: https://doi.org/10.1016/..

15

Kind Inference for the FreeST Programming Language:

Almeida, Bernardo ; Mordido, Andreia ; Vasconcelos, Vasco T
http://arxiv.org/abs/2304.06396. , 2023

Link: http://arxiv.org/abs/230..