BIBLIOS
Ciências References Management System
Visitor Mode (
Login
)
Need help?
Publications for vmvasconcelos
(49)
2024
Linear Contextual Metaprogramming and Session Types
(2024)
Pedro Ângelo
Atsushi Igarashi
Vasco T. Vasconcelos
Conference papers
2023
International Symposium on Principles and Practice of Declarative Programming
(2023)
Santiago Escobar
Vasco T. Vasconcelos
Books
2023
Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity
(2023)
Vasco T. Vasconcelos
Books
2023
Subtyping Context-free Session Types
(2023)
Gil Silva
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2023
Parameterized Algebraic Protocols
(2023)
Andreia Mordido
Janek Spaderna
Peter Thiemann
Vasco T. Vasconcelos
Conference papers
2023
System $F^\\mu _\\omega$ with Context-free Session Types
(2023)
Diogo Poças
Diana Costa
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2023
Kind Inference for the FreeST Programming Language
(2023)
Bernardo Almeida
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2023
SmartScribble, a protocol language for Plutus smart contracts
(2023)
Monteiro, Alexandre de Alegria Junceiro Mascarenhas
Mordido, Andreia Filipa Torcato
Vasconcelos, Vasco Thudichum
Academic documents
2023
Shared Channels on Context-free Session Types
(2023)
Barros, Diogo Filipe da Paz de
Vasconcelos, Vasco Thudichum
Mordido, Andreia
Academic documents
2022
A Type Discipline for Message Passing Parallel Programs
(2022)
Vasco T. Vasconcelos
Francisco Martins
Hugo-Andrés López
Nobuko Yoshida
Journal articles
2022
Polymorphic lambda calculus with context-free session types
(2022)
Bernardo Almeida
Andreia Mordido
Peter Thiemann
Vasco T. Vasconcelos
Journal articles
2022
The Different Shades of Infinite Session Types
(2022)
Simon J. Gay
Diogo Poças
Vasco T. Vasconcelos
Conference papers
2022
Higher-order Context-free Session Types in System F
(2022)
Diana Costa
Andreia Mordido
Diogo Poças
Vasco T. Vasconcelos
Conference papers
2022
Mixed sessions
(2022)
Filipe Casal
Andreia Mordido
Vasco T. Vasconcelos
Journal articles
2022
Protocol-based Smart Contract Generation
(2022)
Afonso Falcão
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2022
Algorithms for infinite session types
(2022)
Sardinha, Inês Maria Caldeira
Poças, Diogo Miguel Ferreira
Vasconcelos, Vasco Thudichum
Academic documents
2021
A protocol language for smart contracts
(2021)
Afonso Neves Ribeiro Freire Falcão
Andreia Filipa Torcato Mordido
Vasco Manuel Thudichum de Serpa Vasconcelos
Academic documents
2020
Duality of Session Types: The Final Cut
(2020)
Simon J. Gay
Peter Thiemann
Vasco T. Vasconcelos
Conference papers
2020
Label-dependent session types
(2020)
Peter Thiemann
Vasco T. Vasconcelos
Journal articles
2020
Deciding the Bisimilarity of Context-Free Session Types
(2020)
Bernardo Almeida
Andreia Mordido
Vasco T. Vasconcelos
Conference papers
2020
Statically Checking REST API Consumers
(2020)
Nuno Burnay
Antónia Lopes
Vasco T. Vasconcelos
Conference papers
2020
Security and Usability in the HeadREST Language
(2020)
Francisco Robalinho Medeiros
Vasco Manuel Thudichum de Serpa Vasconcelos
Maria Antónia Bacelar da Costa Lopes
Academic documents
2020
Mixed Sessions
(2020)
Vasco T. Vasconcelos
Filipe Casal
Bernardo Almeida
Andreia Mordido
Conference papers
2019
FreeST: Context-free Session Types in a Functional Language
(2019)
Bernardo Almeida
Andreia Mordido
Vasco T. Vasconcelos
Other
2019
Types to the rescue: verification of REST APIs consumer code
(2019)
Burnay, Nuno Miguel Pereira
Vasconcelos, Vasco Thudichum
Lopes, Maria Antónia Bacelar da Costa
Academic documents
2019
HeadREST: A Specification Language for RESTful APIs
(2019)
Vasco T. Vasconcelos
Francisco Martins
Antónia Lopes
Nuno Burnay
Book chapters
2019
Asynchronous Timed Session Types
(2019)
Laura Bocchi
Maurizio Murgia
Vasco Thudichum Vasconcelos
Nobuko Yoshida
Book chapters
2019
Gradual session types
(2019)
ATSUSHI IGARASHI
PETER THIEMANN
YUYA TSUDA
VASCO T. VASCONCELOS
PHILIP WADLER
Journal articles
2019
HeadREST: A Specification Language for RESTful APIs
(2019)
Vasco T. Vasconcelos
Francisco Martins
Antónia Lopes
Nuno Burnay
Book chapters
2019
Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
(2019)
Vasco T. Vasconcelos
Philipp Haller
Books
2018
Uma linguagem de programação com tipos de sessão independentes do contexto
(2018)
Bernardo Pinto de Almeida
Vasco Manuel Thudichum de Serpa Vasconcelos
Academic documents
2018
The computational content of atomic polymorphism
(2018)
Gilda Ferreira
Vasco T Vasconcelos
Journal articles
2018
Affine Sessions
(2018)
Dimitris Mostrous
Vasco T. Vasconcelos
Journal articles
2018
Code Generation for RESTful APIs REST in HeadREST
(2018)
Telmo da Silva Santos
Maria Antónia Bacelar da Costa Lopes
Vasco Manuel Thudichum de Serpa Vasconcelos
Academic documents
2018
Adding Dependent Types to Class-based Mutable Objects
(2018)
Joana Correia Campos
Vasco Manuel Thudichum de Serpa Vasconcelos
Academic documents
2018
Dependent Types for Class-based Mutable Objects
(2018)
Joana Campos
Vasco T. Vasconcelos
Conference papers
2017
Automatic tests generation for Restful Apis
(2017)
Fábio Alexandre Canada Ferreira
Martins, Francisco Cipriano da Cunha
Vasconcelos, Vasco Thudichum
Academic documents
2015
Imperative objects with dependent types
(2015)
Joana Campos
Vasco T. Vasconcelos
Conference papers
2015
Modular Session Types for Objects
(2015)
Simon J. Gay
Nils Gesbert
António Ravara
Vasco Thudichum Vasconcelos
Journal articles
2015
Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014) Preface
(2015)
Alastair Donaldson
Vasco Vasconcelos
Books
2014
Alastair F. Donaldson, Vasco T. Vasconcelos: Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014
(2014)
Vasco T. Vasconcelos
Books
2014
Uma linguagem de protocolos para descrever Sistemas Distribuídos tolerantes a falhas
(2014)
Henriques, Daniela Pedro
Vasconcelos, Vasco Thudichum
Bessani, Alysson Neves
Academic documents
2014
Tools and techniques for the static verification of progress in communication-centred systems
(2014)
Camacho, André Filipe Marinhas Henriques da Silva
Vasconcelos, Vasco Thudichum
Vieira, Hugo Filipe Mendes Torres
Academic documents
2014
Protocol based programming of concurrent systems
(2014)
Santos, César Augusto Ribeiro dos
Martins, Francisco Cipriano da Cunha
Vasconcelos, Vasco Thudichum
Academic documents
2014
Synthesis of correct-by-construction MPI programs
(2014)
Lemos, Filipe Emanuel Ventura Pires de Matos
Vasconcelos, Vasco Thudichum
Marques, Eduardo Resende Brandão
Academic documents
2013
Formal Verification of Parallel C+MPI Programs
(2013)
Martins, Nuno Alexandre Dias
Marques, Eduardo Resende Brandão
Vasconcelos, Vasco Thudichum
Academic documents
2013
Uma máquina virtual para uma linguagem concorrente intermédia
(2013)
tSilva, Roberto Rosa da
Martins, Francisco Cipriano da Cunha
Vasconcelos, Vasco Thudichum
Academic documents
2013
A concurrent programming language with session types
(2013)
Franco, Juliana Patrícia Vicente
Vasconcelos, Vasco Thudichum
Martins, Francisco Cipriano da Cunha
Academic documents
2012
Investigação e desenvolvimento de um sistema automático de mapeamento de ativos numa rede empresarial de grande dimensão
(2012)
Martins, João Miguel Ribeiro
Vasconcelos, Vasco Thudichum
Alegria, José
Academic documents