Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 129



11
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: ORCID | DBLP | CIÊNCIAVITAE
12
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
13
TITLE: A Type Discipline for Message Passing Parallel Programs
AUTHORS: Vasconcelos, Vasco T. ; Martins, Francisco ; Lopez, Hugo Andres; Yoshida, Nobuko;
PUBLISHED: 2022, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 44, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 3
14
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
15
TITLE: Mixed sessions
AUTHORS: Casal, F; Mordido, A ; Vasconcelos, VT ;
PUBLISHED: 2022, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 897
INDEXED IN: Scopus WOS DBLP CrossRef: 8
16
TITLE: Polymorphic lambda calculus with context-free session types  Full Text
AUTHORS: Almeida, Bernardo; Mordido, Andreia; Thiemann, Peter; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 289
INDEXED IN: WOS
17
TITLE: Polymorphic lambda calculus with context-free session types
AUTHORS: Bernardo Almeida; Andreia Mordido; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: Information and Computation, VOLUME: 289
INDEXED IN: CrossRef: 9
IN MY: ORCID | CIÊNCIAVITAE
18
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
19
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
20
TITLE: The Different Shades of Infinite Session Types
AUTHORS: Gay, Simon J.; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
INDEXED IN: Scopus WOS DBLP
Page 2 of 13. Total results: 129.

footer slogan

Useful Links

Get Help

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