Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 127



1
TITLE: Kind inference for the FREEST programming language
AUTHORS: Almeida, Bernardo; Mordido, Andreia; Vasconcelos, Vasco T. ;
PUBLISHED: 2026, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 148
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID
2
3
4
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: 148, ISSUE: 378
INDEXED IN: Scopus WOS DBLP CrossRef
5
TITLE: Parameterized Algebraic Protocols
AUTHORS: Andreia Mordido; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: Proceedings of the ACM on Programming Languages, VOLUME: 7, ISSUE: PLDI
INDEXED IN: CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
6
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
7
TITLE: Protocol-Based Smart Contract Generation
AUTHORS: Afonso Falcão; Andreia Mordido; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Financial Cryptography and Data Security. FC 2022 International Workshops
INDEXED IN: CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
8
TITLE: Subtyping Context-Free Session Types
AUTHORS: Gil Silva; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: CONCUR, VOLUME: 1069
INDEXED IN: Scopus DBLP
9
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
10
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
Page 1 of 13. Total results: 127.

footer slogan

Useful Links

Get Help

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