Luís Manuel Marques da Costa Caires
AuthID: R-000-9MG
1
TÃTULO: Thread and Memory-Safe Programming with CLASS Full Text
AUTORES: Caires, Luis;
PUBLICAÇÃO: 2025, FONTE: 16th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2505.20848, NÚMERO: 420
AUTORES: Caires, Luis;
PUBLICAÇÃO: 2025, FONTE: 16th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2505.20848, NÚMERO: 420
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP2
TÃTULO: The Session Abstract Machine
AUTORES: Caires, Luis; Toninho, Bernardo ;
PUBLICAÇÃO: 2024, FONTE: 33rd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, PT I, ESOP 2024, VOLUME: 14576
AUTORES: Caires, Luis; Toninho, Bernardo ;
PUBLICAÇÃO: 2024, FONTE: 33rd European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, PT I, ESOP 2024, VOLUME: 14576
3
TÃTULO: Linear logic propositions as session types
AUTORES: Caires, L; Pfenning, F; Toninho, B ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 29, NÚMERO: 5
AUTORES: Caires, L; Pfenning, F; Toninho, B ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 29, NÚMERO: 5
INDEXADO EM: Scopus
Scopus