Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 75



1
TITLE: Safe Session-Based Concurrency with Shared Linear State
AUTHORS: Rocha, Pedro; Caires, Luis ;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 8
2
TITLE: A Decade of Dependent Session Types
AUTHORS: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLISHED: 2021, SOURCE: PROCEEDINGS OF THE 23RD INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2021
INDEXED IN: Scopus WOS DBLP CrossRef: 5
3
TITLE: Propositions-as-Types and Shared State
AUTHORS: Rocha, P; Caires, L ;
PUBLISHED: 2021, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 5, ISSUE: ICFP
INDEXED IN: WOS CrossRef: 11
IN MY: CIÊNCIAVITAE
4
TITLE: Propositions-as-Types and Shared State
AUTHORS: Rocha, P; Caires, L ;
PUBLISHED: 2021, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 5, ISSUE: ICFP
INDEXED IN: Scopus WOS DBLP
5
TITLE: Domain-Aware Session Types PDF
AUTHORS: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2019, SOURCE: CONCUR, VOLUME: 140
INDEXED IN: Scopus DBLP arXiv
IN MY: ORCID
6
TITLE: Preface
AUTHORS: Caires, L ;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
7
8
9
10
TITLE: Refinement Kinds Type-Safe Programming with Practical Type-Level Computation
AUTHORS: Caires, L ; Toninho, B ;
PUBLISHED: 2019, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 3, ISSUE: OOPSLA
INDEXED IN: Scopus WOS DBLP CrossRef: 4
Page 1 of 8. Total results: 75.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service