Andreia Mordido


AuthID: R-00M-0C7

Publicações Confirmadas: 29



1
TÍTULO: Parametric Subtyping for Structural Parametric Polymorphism
AUTORES: Henry DeYoung; Andreia Mordido ; Frank Pfenning; Ankush Das;
PUBLICAÇÃO: 2024, FONTE: Proc. ACM Program. Lang., VOLUME: 8, NÚMERO: POPL
INDEXADO EM: DBLP
NO MEU: DBLP
2
TÍTULO: Kind Inference for the FreeST Programming Language  Full Text
AUTORES: Almeida, Bernardo; Mordido, Andreia ; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2023, FONTE: 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 378, NÚMERO: 378
INDEXADO EM: WOS DBLP CrossRef
NO MEU: DBLP
3
TÍTULO: Parameterized Algebraic Protocols
AUTORES: Andreia Mordido ; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.03764
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
4
TÍTULO: Parameterized Algebraic Protocols
AUTORES: Mordido, Andreia ; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: PLDI
INDEXADO EM: WOS DBLP
NO MEU: DBLP
5
TÍTULO: Subtyping Context-Free Session Types
AUTORES: Gil Silva; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, VOLUME: 279
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: Subtyping Context-Free Session Types
AUTORES: Gil Silva; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2307.05661
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÍTULO: System Fμ ømega with Context-free Session Types
AUTORES: Diogo Poças; Diana Costa; Andreia Mordido ; Vasco T Vasconcelos;
PUBLICAÇÃO: 2023, FONTE: 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 in Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, VOLUME: 13990
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: DBLP
8
TÍTULO: System Fμω with Context-free Session Types
AUTORES: Diana Costa; Andreia Mordido ; Diogo Poças; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2301.08659
INDEXADO EM: DBLP
NO MEU: DBLP
9
TÍTULO: Higher-order Context-free Session Types in System F  Full Text
AUTORES: Costa, Diana; Mordido, Andreia ; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2022, FONTE: 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 356, NÚMERO: 356
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
10
TÍTULO: Mixed sessions  Full Text
AUTORES: Casal, F; Mordido, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2022, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 897
INDEXADO EM: WOS DBLP
NO MEU: DBLP
Página 1 de 3. Total de resultados: 29.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service