Luís Manuel Marques da Costa Caires
AuthID: R-000-9MG
1
TITLE: Thread and Memory-Safe Programming with CLASS Full Text
AUTHORS: Caires, Luis;
PUBLISHED: 2025, SOURCE: 16th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2505.20848, ISSUE: 420
AUTHORS: Caires, Luis;
PUBLISHED: 2025, SOURCE: 16th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2505.20848, ISSUE: 420
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP2
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
3
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
ORCID4
TITLE: Linear logic propositions as session types
AUTHORS: Caires, L; Pfenning, F; Toninho, B ;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science, VOLUME: 29, ISSUE: 5
AUTHORS: Caires, L; Pfenning, F; Toninho, B ;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science, VOLUME: 29, ISSUE: 5
INDEXED IN: Scopus
Scopus