Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 77



1
TÍTULO: Safe Session-Based Concurrency with Shared Linear State
AUTORES: Rocha, Pedro; Caires, Luis ;
PUBLICAÇÃO: 2023, FONTE: 32nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, VOLUME: 13990
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: DBLP | CIÊNCIAVITAE
2
TÍTULO: A Decade of Dependent Session Types
AUTORES: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLICAÇÃO: 2021, FONTE: 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with the 31st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2021 in PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: DBLP | CIÊNCIAVITAE
3
TÍTULO: Propositions-as-Types and Shared State
AUTORES: Rocha, P; Caires, L ;
PUBLICAÇÃO: 2021, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 5, NÚMERO: ICFP
INDEXADO EM: WOS CrossRef: 11
NO MEU: CIÊNCIAVITAE
4
TÍTULO: Propositions-as-Types and Shared State
AUTORES: Rocha, P; Caires, L ;
PUBLICAÇÃO: 2021, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 5, NÚMERO: ICFP
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
5
TÍTULO: Domain-Aware Session Types PDF
AUTORES: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: 30th International Conference on Concurrency Theory, CONCUR 2019 in 30th International Conference on Concurrency Theory, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands., VOLUME: 140
INDEXADO EM: Scopus DBLP arXiv
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
6
TÍTULO: Domain-Aware Session Types (Extended Version) PDF
AUTORES: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1907.01318
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
7
TÍTULO: Preface
AUTORES: Caires, L ;
PUBLICAÇÃO: 2019, FONTE: 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
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
8
9
10
Página 1 de 8. Total de resultados: 77.

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

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service