Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 76



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: 8
NO MEU: CIÊNCIAVITAE
2
TÍTULO: A Decade of Dependent Session Types
AUTORES: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLICAÇÃO: 2021, FONTE: PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: 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: Scopus WOS DBLP
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: WOS CrossRef: 11
NO MEU: CIÊNCIAVITAE
5
TÍTULO: Domain-Aware Session Types PDF
AUTORES: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: CONCUR, VOLUME: 140
INDEXADO EM: Scopus DBLP arXiv
NO MEU: ORCID | CIÊNCIAVITAE
6
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
7
8
9
10
TÍTULO: Refinement Kinds Type-Safe Programming with Practical Type-Level Computation
AUTORES: Caires, L ; Toninho, B ;
PUBLICAÇÃO: 2019, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 3, NÚMERO: OOPSLA
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: CIÊNCIAVITAE
Página 1 de 8. Total de resultados: 76.

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

Links Úteis

Ajuda

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