Andreia Mordido


AuthID: R-00M-0C7

Confirmed Publications: 29



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  Full Text
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: 378, ISSUE: 378
INDEXED IN: WOS DBLP CrossRef
IN MY: DBLP
3
TITLE: Parameterized Algebraic Protocols
AUTHORS: Andreia Mordido ; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.03764
INDEXED IN: Scopus DBLP
IN MY: DBLP
4
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: WOS DBLP
IN MY: DBLP
5
TITLE: Subtyping Context-Free Session Types
AUTHORS: Gil Silva; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, VOLUME: 279
INDEXED IN: DBLP
IN MY: DBLP
6
TITLE: Subtyping Context-Free Session Types
AUTHORS: Gil Silva; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.05661
INDEXED IN: DBLP
IN MY: DBLP
7
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
8
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
9
TITLE: Higher-order Context-free Session Types in System F  Full Text
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
IN MY: DBLP
10
TITLE: Mixed sessions  Full Text
AUTHORS: Casal, F; Mordido, A ; Vasconcelos, VT ;
PUBLISHED: 2022, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 897
INDEXED IN: WOS DBLP
IN MY: DBLP
Page 1 of 3. Total results: 29.

A place for researchers and their institutions

Useful Links

Get Help

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