Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 72



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
NO MEU: DBLP
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
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
INDEXADO EM: WOS
4
TÍTULO: Propositions-as-types and shared state
AUTORES: Pedro Rocha; Luís Caires ;
PUBLICAÇÃO: 2021, FONTE: Proc. ACM Program. Lang., VOLUME: 5, NÚMERO: ICFP
INDEXADO EM: Scopus 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
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
8
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: DBLP
9
TÍTULO: Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) PDF
AUTORES: Luís Caires ; Bernardo Toninho ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1908.00441
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
10
Página 1 de 8. Total de resultados: 72.

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

Links Úteis

Ajuda

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