Luís Manuel Marques da Costa Caires
AuthID: R-000-9MG
1
TITLE: The Session Abstract Machine
AUTHORS: Caires, Luis; Toninho, Bernardo ;
PUBLISHED: 2024, SOURCE: 33rd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, PT I, ESOP 2024, VOLUME: 14576
AUTHORS: Caires, Luis; Toninho, Bernardo ;
PUBLISHED: 2024, SOURCE: 33rd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, PT I, ESOP 2024, VOLUME: 14576
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP2
TITLE: Preface
AUTHORS: Caires, L;
PUBLISHED: 2019, SOURCE: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11423 LNCS
AUTHORS: Caires, L;
PUBLISHED: 2019, SOURCE: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11423 LNCS
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID3
TITLE: Programming Languages and Systems. 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and ...
AUTHORS: Luís Caires;
PUBLISHED: 2019
AUTHORS: Luís Caires;
PUBLISHED: 2019
INDEXED IN: 
Openlibrary
Openlibrary4
TITLE: Preface
AUTHORS: Christel Baier; Luís Caires;
PUBLISHED: 2018, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10854 LNCS
AUTHORS: Christel Baier; Luís Caires;
PUBLISHED: 2018, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10854 LNCS
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID5
TITLE: The type discipline of behavioral separation
AUTHORS: Luís Caires; João C Seco;
PUBLISHED: 2013, SOURCE: ACM SIGPLAN Notices, VOLUME: 48, ISSUE: 1
AUTHORS: Luís Caires; João C Seco;
PUBLISHED: 2013, SOURCE: ACM SIGPLAN Notices, VOLUME: 48, ISSUE: 1
