Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 143



41
TITLE: Affine Sessions
AUTHORS: Dimitris Mostrous; Vasco T Vasconcelos ;
PUBLISHED: 2018, SOURCE: Logical Methods in Computer Science, VOLUME: 14, ISSUE: 4
INDEXED IN: DBLP
IN MY: DBLP
42
TITLE: Affine Sessions PDF
AUTHORS: Dimitris Mostrous; Vasco T Vasconcelos ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1809.02781
INDEXED IN: DBLP arXiv
IN MY: DBLP
43
TITLE: AFFINE SESSIONS  Full Text
AUTHORS: Mostrous, D; Vasconcelos, VT ;
PUBLISHED: 2018, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 14, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
44
TITLE: Dependent Types for Class-based Mutable Objects
AUTHORS: Joana Campos; Vasco T Vasconcelos ;
PUBLISHED: 2018, SOURCE: 32nd European Conference on Object-Oriented Programming, ECOOP 2018 in 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands, VOLUME: 109
INDEXED IN: Scopus DBLP
IN MY: DBLP
45
TITLE: Dependent Types for Class-based Mutable Objects (Artifact)
AUTHORS: Joana Campos; Vasco T Vasconcelos ;
PUBLISHED: 2018, SOURCE: DARTS, VOLUME: 4, ISSUE: 3
INDEXED IN: DBLP
IN MY: DBLP
46
TITLE: Gradual Session Types PDF
AUTHORS: Atsushi Igarashi; Peter Thiemann; Yuya Tsuda; Vasco T Vasconcelos ; Philip Wadler;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1809.05649
INDEXED IN: DBLP arXiv
IN MY: DBLP
47
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: PACMPL, VOLUME: 1, ISSUE: OOPSLA
INDEXED IN: DBLP
IN MY: DBLP
48
TITLE: Gradual session types
AUTHORS: Atsushi Igarashi; Peter Thiemann; Vasco T Vasconcelos ; Philip Wadler;
PUBLISHED: 2017, SOURCE: PACMPL, VOLUME: 1, ISSUE: ICFP
INDEXED IN: Scopus DBLP
IN MY: DBLP
49
TITLE: Inferring Types for Parallel Programs PDF  Full Text
AUTHORS: Francisco Martins ; Vasco Thudichum Vasconcelos ; Hans Hüttel;
PUBLISHED: 2017, SOURCE: 10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2017 in Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017., VOLUME: 246
INDEXED IN: Scopus DBLP arXiv CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
50
TITLE: Preface
AUTHORS: Vasconcelos, VT ; Haller, P;
PUBLISHED: 2017, SOURCE: 10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2017 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 246
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
Page 5 of 15. Total results: 143.

footer slogan

Useful Links

Get Help

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