Andreia Mordido


AuthID: R-00M-0C7

Confirmed Publications: 25



11
TITLE: Polarized Subtyping
AUTHORS: Lakhani, Zeeshan; Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLISHED: 2022, SOURCE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
12
TITLE: Polymorphic lambda calculus with context-free session types
AUTHORS: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: Inf. Comput., VOLUME: 289, ISSUE: Part
INDEXED IN: Scopus DBLP
13
TITLE: Protocol-Based Smart Contract Generation
AUTHORS: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: Financial Cryptography Workshops, VOLUME: 13412 LNCS
INDEXED IN: Scopus DBLP
14
TITLE: Nested Session Types
AUTHORS: Ankush Das; Henry DeYoung; Andreia Mordido ; Frank Pfenning;
PUBLISHED: 2021, SOURCE: Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, VOLUME: 12648
INDEXED IN: DBLP
IN MY: DBLP
15
TITLE: Nested Session Types
AUTHORS: Das, Ankush; DeYoung, Henry; Mordido, Andreia ; Pfenning, Frank ;
PUBLISHED: 2021, SOURCE: 30th European Symposium on Programming (ESOP) Held as Part of the 24th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2021, VOLUME: 12648
INDEXED IN: Scopus WOS DBLP CrossRef: 7 Unpaywall
IN MY: DBLP
16
TITLE: Subtyping on Nested Polymorphic Session Types
AUTHORS: Ankush Das; Henry DeYoung; Andreia Mordido ; Frank Pfenning;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.15193
INDEXED IN: DBLP
IN MY: DBLP
17
TITLE: Deciding the Bisimilarity of Context-Free Session Types
AUTHORS: Bernardo Almeida; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: TACAS (2), VOLUME: 12079 LNCS
INDEXED IN: Scopus DBLP CrossRef: 7
18
TITLE: Mixed Sessions
AUTHORS: Vasconcelos, VT ; Casal, F ; Almeida, B; Mordido, A ;
PUBLISHED: 2020, SOURCE: 29th European Symposium on Programming (ESOP) held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020), VOLUME: 12075
INDEXED IN: Scopus WOS DBLP CrossRef: 3
19
TITLE: Mixed Sessions: the Other Side of the Tape
AUTHORS: Filipe Casal ; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: PLACES@ETAPS, VOLUME: 314
INDEXED IN: Scopus DBLP CrossRef
20
TITLE: FreeST: Context-free Session Types in a Functional Language
AUTHORS: Almeida, B; Mordido, A ; Vasconcelos, VT ;
PUBLISHED: 2019, SOURCE: 11th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES) Co-located with European Joint Conferences on Theory and Practice of Software (ETAPS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 291, ISSUE: 291
INDEXED IN: Scopus WOS DBLP CrossRef: 7
Page 2 of 3. Total results: 25.

footer slogan

Useful Links

Get Help

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