Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 133



41
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
42
TITLE: Inferring Types for Parallel Programs PDF
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
IN MY: DBLP
43
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
44
45
TITLE: Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
AUTHORS: Simon J Gay; Vasco T Vasconcelos ; Philip Wadler; Nobuko Yoshida;
PUBLISHED: 2017, SOURCE: Dagstuhl Reports, VOLUME: 7, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
46
TITLE: Behavioral Types in Programming Languages
AUTHORS: Davide Ancona; Viviana Bono; Mario Bravetti; Joana Campos; Giuseppe Castagna; Pierre Malo Denielou; Simon J Gay; Nils Gesbert; Elena Giachino; Raymond Hu; Einar Broch Johnsen; Francisco Martins; Viviana Mascardi; Fabrizio Montesi; Rumyana Neykova; Nicholas Ng; Luca Padovani; Vasco T Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
INDEXED IN: WOS DBLP CrossRef
IN MY: DBLP
47
TITLE: Context-Free Session Types  Full Text
AUTHORS: Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2016, SOURCE: 21st ACM SIGPLAN International Conference on Functional Programming (ICFP) in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: DBLP
48
TITLE: Foundations of Session Types and Behavioural Contracts  Full Text
AUTHORS: Hans Hüttel; Ivan Lanese; Vasco T Vasconcelos ; Luís Caires ; Marco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 120
IN MY: DBLP
49
TITLE: Linearity, session types and the Pi calculus
AUTHORS: Giunti, M ; Vasconcelos, VT ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 2
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
50
TITLE: Deductive Verification of Parallel Programs Using Why3  Full Text
AUTHORS: Cesar Santos; Francisco Martins ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2015, SOURCE: 8th Interaction and Concurrency Experience, ICE 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 189, ISSUE: 189
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
Página 5 de 14. Total de resultados: 133.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

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