Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 77



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: 7
IN MY: CIÊNCIAVITAE
2
TITLE: A Decade of Dependent Session Types
AUTHORS: Toninho, B ; Caires, L ; Pfenning, F ;
PUBLISHED: 2021, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: DBLP | CIÊNCIAVITAE
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: 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
INDEXED IN: Scopus DBLP arXiv
IN MY: ORCID | DBLP | CIÊNCIAVITAE
6
TITLE: Domain-Aware Session Types (Extended Version) PDF
AUTHORS: Luís Caires ; Jorge A Pérez; Frank Pfenning ; Bernardo Toninho ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.01318
INDEXED IN: DBLP arXiv
IN MY: DBLP
7
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
8
9
10
Page 1 of 8. Total results: 77.

footer slogan

Useful Links

Get Help

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