Andreia Mordido


AuthID: R-00M-0C7

Confirmed Publications: 25



1
TITLE: Parametric Subtyping for Structural Parametric Polymorphism
AUTHORS: Henry DeYoung; Andreia Mordido ; Frank Pfenning; Ankush Das;
PUBLISHED: 2024, SOURCE: Proc. ACM Program. Lang., VOLUME: 8, ISSUE: POPL
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: Kind Inference for the FreeST Programming Language
AUTHORS: Almeida, Bernardo; Mordido, Andreia ; Vasconcelos, Vasco T. ;
PUBLISHED: 2023, SOURCE: 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 148, ISSUE: 378
INDEXED IN: Scopus WOS DBLP CrossRef
3
TITLE: Parameterized Algebraic Protocols
AUTHORS: Mordido, Andreia ; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T. ;
PUBLISHED: 2023, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, ISSUE: PLDI
INDEXED IN: Scopus WOS DBLP
4
TITLE: Subtyping Context-Free Session Types
AUTHORS: Gil Silva; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: CONCUR
INDEXED IN: DBLP
5
TITLE: System Fμ ømega with Context-free Session Types
AUTHORS: Diogo Poças; Diana Costa; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: DBLP
6
TITLE: System Fμω with Context-free Session Types
AUTHORS: Diana Costa; Andreia Mordido ; Diogo Poças; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2301.08659
INDEXED IN: DBLP
IN MY: DBLP
7
TITLE: Higher-order Context-free Session Types in System F
AUTHORS: Costa, Diana; Mordido, Andreia ; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 356, ISSUE: 356
INDEXED IN: Scopus WOS DBLP
8
TITLE: Mixed sessions
AUTHORS: Casal, F; Mordido, A ; Vasconcelos, VT ;
PUBLISHED: 2022, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 897
INDEXED IN: Scopus WOS DBLP
9
TITLE: Nested Session Types  Full Text
AUTHORS: Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLISHED: 2022, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 44, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
IN MY: DBLP
10
TITLE: Polarized Subtyping
AUTHORS: Zeeshan Lakhani; Ankush Das; Henry DeYoung; Andreia Mordido ; Frank Pfenning;
PUBLISHED: 2022, SOURCE: Programming Languages and Systems - 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, VOLUME: 13240
INDEXED IN: DBLP
IN MY: DBLP
Page 1 of 3. Total results: 25.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service