Vasco T. Vasconcelos
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2015–2026
Best venue rank
A
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Contextual Metaprogramming for Session Types. | Pedro ngelo, Atsushi Igarashi, Yuito Murase, Vasco T. Vasconcelos |
| 2023 | CONCUR | Subtyping Context-Free Session Types. | Gil Silva, Andreia Mordido, Vasco T. Vasconcelos |
| 2023 | ESOP | System F | Diogo Poas, Diana Costa, Andreia Mordido, Vasco T. Vasconcelos |
| 2022 | FC | Protocol-Based Smart Contract Generation. | Afonso Falco, Andreia Mordido, Vasco T. Vasconcelos |
| 2022 | FOSSACS | The Different Shades of Infinite Session Types. | Simon J. Gay, Diogo Poas, Vasco T. Vasconcelos |
| 2020 | ESOP | Mixed Sessions. | Vasco T. Vasconcelos, Filipe Casal, Bernardo Almeida, Andreia Mordido |
| 2020 | SEFM | Statically Checking REST API Consumers. | Nuno Burnay, Antnia Lopes, Vasco T. Vasconcelos |
| 2020 | TACAS | Deciding the Bisimilarity of Context-Free Session Types. | Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos |
| 2018 | ECOOP | Dependent Types for Class-based Mutable Objects. | Joana Campos, Vasco T. Vasconcelos |
| 2016 | ICFP | Context-free session types. | Peter Thiemann, Vasco T. Vasconcelos |
| 2015 | ECOOP | Imperative objects with dependent types. | Joana Campos, Vasco T. Vasconcelos |