Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 72



1
TITLE: Safe Session-Based Concurrency with Shared Linear State
AUTHORS: Pedro Rocha; Luís Caires ;
PUBLISHED: 2023, SOURCE: 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 in Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, VOLUME: 13990
INDEXED IN: Scopus DBLP
IN MY: DBLP
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: 2
IN MY: DBLP
3
TITLE: Propositions-as-types and shared state
AUTHORS: Pedro Rocha; Luís Caires ;
PUBLISHED: 2021, SOURCE: Proc. ACM Program. Lang., VOLUME: 5, ISSUE: ICFP
INDEXED IN: Scopus DBLP
IN MY: DBLP
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
INDEXED IN: WOS
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: DBLP
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
8
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: 3
IN MY: DBLP
9
TITLE: Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version) PDF
AUTHORS: Luís Caires ; Bernardo Toninho ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1908.00441
INDEXED IN: DBLP arXiv
IN MY: DBLP
10
Page 1 of 8. Total results: 72.

A place for researchers and their institutions

Useful Links

Get Help

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