Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Confirmed Publications: 77



11
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
IN MY: DBLP | CIÊNCIAVITAE
12
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
13
14
15
TITLE: Linearity, Control Effects, and Behavioral Types
AUTHORS: Luís Caires ; Jorge A Pérez;
PUBLISHED: 2017, SOURCE: 26th European Symposium on Programming, ESOP 2017 held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017 in Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, VOLUME: 10201
INDEXED IN: Scopus DBLP CrossRef: 18
IN MY: ORCID | DBLP | CIÊNCIAVITAE
16
TITLE: Composing Interfering Abstract Protocols
AUTHORS: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLISHED: 2016, SOURCE: 30th European Conference on Object-Oriented Programming, ECOOP 2016 in 30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy, VOLUME: 56
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
17
TITLE: Foundations of Session Types and Behavioural Contracts  Full Text
AUTHORS: Hans Hüttel; Ivan Lanese; Vasco T Vasconcelos ; Luís Caires ; Marco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 120
IN MY: ORCID | DBLP | CIÊNCIAVITAE
18
TITLE: Linear logic propositions as session types
AUTHORS: Caires, L ; Pfenning, F ; Toninho, B ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 74
IN MY: ORCID | DBLP | CIÊNCIAVITAE
19
TITLE: Multiparty Session Types Within a Canonical Binary Theory, and Beyond
AUTHORS: Luis Caires ; Jorge A Perez;
PUBLISHED: 2016, SOURCE: 36th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems(FORTE) held as part of the 11th International Federated Conference on Distributed Computing Techniques (DisCoTec) in FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2016), VOLUME: 9688
INDEXED IN: Scopus WOS DBLP CrossRef: 15
IN MY: ORCID | DBLP | CIÊNCIAVITAE
20
TITLE: Dependent Information Flow Types
AUTHORS: Luisa Lourenco; Luis Caires ;
PUBLISHED: 2015, SOURCE: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 28
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 2 of 8. Total results: 77.

footer slogan

Useful Links

Get Help

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