Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 129



81
TITLE: Linear type theory for asynchronous session types
AUTHORS: Gay, SJ; Vasconcelos, VT ;
PUBLISHED: 2010, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 20, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 144
82
TITLE: Modular Session Types for Distributed Object-Oriented Programming
AUTHORS: Gay, SJ; Vasconcelos, VT ; Ravara, A; Gesbert, N; Caldeira, AZ;
PUBLISHED: 2010, SOURCE: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10 in POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
83
TITLE: Modular Session Types for Distributed Object-Oriented Programming
AUTHORS: Gay, SJ; Vasconcclos, VT ; Ravara, A ; Gesbert, N; Caldeira, AZ;
PUBLISHED: 2010, SOURCE: 37th ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages in ACM SIGPLAN NOTICES, VOLUME: 45, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 7
84
TITLE: Types for X10 Clocks
AUTHORS: Francisco Martins ; Vasco Thudichum Vasconcelos ; Tiago Cogumbreiro;
PUBLISHED: 2010, SOURCE: PLACES, VOLUME: 69
INDEXED IN: DBLP CrossRef: 1
85
TITLE: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming
AUTHORS: Nunes, I; Lopes, A ; Vasconcelos, VT ;
PUBLISHED: 2009, SOURCE: 9th International Workshop on Runtime Verification in RUNTIME VERIFICATION, VOLUME: 5779
INDEXED IN: Scopus WOS DBLP CrossRef: 6
86
87
TITLE: Fundamentals of Session Types  Full Text
AUTHORS: Vasconcelos, VT ;
PUBLISHED: 2009, SOURCE: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems in FORMAL METHODS FOR WEB SERVICES, VOLUME: 5569
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
88
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Field, J; Vasconcelos, VT ;
PUBLISHED: 2009, SOURCE: 11th International Conference on Coordination Models and Languages, COORDINATION 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5521 LNCS
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
89
90
TITLE: Session Types for Linear Multithreaded Functional Programming
AUTHORS: Vasco T Vasconcelos ;
PUBLISHED: 2009, SOURCE: 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 09) in PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 9 of 13. Total results: 129.

footer slogan

Useful Links

Get Help

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