Vasco Thudichum Vasconcelos
AuthID: R-001-YYD
1
TITLE: Local Type Inference for Context-Free Session Types Full Text
AUTHORS: Almeida, Bernardo; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLISHED: 2025, SOURCE: 16th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2505.20855, ISSUE: 420
AUTHORS: Almeida, Bernardo; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLISHED: 2025, SOURCE: 16th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2505.20855, ISSUE: 420
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP2
TITLE: Polymorphic higher-order context-free session types Full Text
AUTHORS: Costa, Diana; Mordido, Andreia; Pocas, Diogo; Vasconcelos, Vasco T.;
PUBLISHED: 2024, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1001
AUTHORS: Costa, Diana; Mordido, Andreia; Pocas, Diogo; Vasconcelos, Vasco T.;
PUBLISHED: 2024, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1001
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP3
TITLE: Linear Contextual Metaprogramming and Session Types Full Text
AUTHORS: Pedro Ângelo; Atsushi Igarashi; Vasco T Vasconcelos;
PUBLISHED: 2024, SOURCE: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024 in CoRR, VOLUME: abs/2404.05475
AUTHORS: Pedro Ângelo; Atsushi Igarashi; Vasco T Vasconcelos;
PUBLISHED: 2024, SOURCE: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024 in CoRR, VOLUME: abs/2404.05475
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP4
TITLE: Behavioural Types for Heterogeneous Systems (Position Paper) Full Text
AUTHORS: Simon Fowler; Philipp Haller; Roland Kuhn; Sam Lindley; Alceste Scalas; Vasco T Vasconcelos;
PUBLISHED: 2024, SOURCE: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024 in CoRR, VOLUME: abs/2404.05479
AUTHORS: Simon Fowler; Philipp Haller; Roland Kuhn; Sam Lindley; Alceste Scalas; Vasco T Vasconcelos;
PUBLISHED: 2024, SOURCE: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024 in CoRR, VOLUME: abs/2404.05479
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP5
TITLE: Simple grammar bisimilarity, with an application to session type equivalence
AUTHORS: Diogo Poças; Vasco T Vasconcelos;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.04063
AUTHORS: Diogo Poças; Vasco T Vasconcelos;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2407.04063
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP6
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
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
WOS DBLP IN MY: DBLP
DBLP7
TITLE: System Fωμ with Context-free Session Types
AUTHORS: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: 32nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, VOLUME: 13990
AUTHORS: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: 32nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, VOLUME: 13990
INDEXED IN: WOS
WOS8
TITLE: AlgST
AUTHORS: Janek Spaderna; Peter Thiemann; Andreia Mordido; Vasco Thudichum Vasconcelos;
PUBLISHED: 2023
AUTHORS: Janek Spaderna; Peter Thiemann; Andreia Mordido; Vasco Thudichum Vasconcelos;
PUBLISHED: 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP9
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
AUTHORS: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: Inf. Comput., VOLUME: 289, ISSUE: Part
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP10
TITLE: Protocol-Based Smart Contract Generation
AUTHORS: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: 26th International Conference on Financial Cryptography and Data Security, FC 2022 in Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers, VOLUME: 13412
AUTHORS: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: 26th International Conference on Financial Cryptography and Data Security, FC 2022 in Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers, VOLUME: 13412
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP