Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 143



11
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
12
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: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
13
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
14
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
15
TITLE: Mixed sessions
AUTHORS: Filipe Casal; Andreia Mordido; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: Theoretical Computer Science, VOLUME: 897
INDEXED IN: CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
16
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
17
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
18
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
IN MY: DBLP
19
TITLE: The Different Shades of Infinite Session Types
AUTHORS: Simon J Gay; Diogo Poças; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
INDEXED IN: CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
20
TITLE: The Different Shades of Infinite Session Types
AUTHORS: Simon J Gay; Diogo Poças; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2201.08275
INDEXED IN: DBLP
IN MY: DBLP
Page 2 of 15. Total results: 143.

footer slogan

Useful Links

Get Help

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