Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 129



31
TITLE: Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes
AUTHORS: Laura Bocchi; Maurizio Murgia; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2019, SOURCE: ESOP, VOLUME: 11423 LNCS
INDEXED IN: Scopus DBLP
32
TITLE: FreeST: Context-free Session Types in a Functional Language
AUTHORS: Almeida, B; Mordido, A ; Vasconcelos, VT ;
PUBLISHED: 2019, SOURCE: 11th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES) Co-located with European Joint Conferences on Theory and Practice of Software (ETAPS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 291, ISSUE: 291
INDEXED IN: Scopus WOS DBLP CrossRef: 8
33
TITLE: Gradual session types
AUTHORS: Igarashi, A; Thiemann, P; Tsuda, Y; Vasconcelos, VT ; Wadler, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 29
INDEXED IN: WOS DBLP
34
TITLE: HeadREST: A Specification Language for RESTful APIs
AUTHORS: Vasco T Vasconcelos ; Francisco Martins ; Antónia Lopes ; Nuno Burnay;
PUBLISHED: 2019, SOURCE: Models, Languages, and Tools for Concurrent and Distributed Programming, VOLUME: 11665 LNCS
INDEXED IN: Scopus DBLP CrossRef: 2
35
TITLE: Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
AUTHORS: Haller, P; Vasconcelos, VT ;
PUBLISHED: 2019, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 106
INDEXED IN: Scopus WOS DBLP
36
TITLE: The computational content of atomic polymorphism
AUTHORS: Ferreira, G; Vasconcelos, VT ;
PUBLISHED: 2019, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 1
37
TITLE: AFFINE SESSIONS
AUTHORS: Mostrous, D; Vasconcelos, VT ;
PUBLISHED: 2018, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 14, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 4
38
TITLE: Dependent Types for Class-based Mutable Objects
AUTHORS: Joana Campos; Vasco T Vasconcelos ;
PUBLISHED: 2018, SOURCE: ECOOP, VOLUME: 109
INDEXED IN: Scopus DBLP
39
TITLE: Dependent Types for Class-based Mutable Objects (Artifact)
AUTHORS: Joana Campos; Vasco T Vasconcelos ;
PUBLISHED: 2018, SOURCE: Dagstuhl Artifacts Ser., VOLUME: 4, ISSUE: 3
INDEXED IN: DBLP
40
TITLE: Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers
AUTHORS: Tiago Cogumbreiro; Rishi Surendran; Francisco Martins; Vivek Sarkar; Vasco T Vasconcelos ; Max Grossman;
PUBLISHED: 2017, SOURCE: Proc. ACM Program. Lang., VOLUME: 1, ISSUE: OOPSLA
INDEXED IN: DBLP
Page 4 of 13. Total results: 129.

footer slogan

Useful Links

Get Help

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