Luís Manuel Marques da Costa Caires


AuthID: R-000-9MG

Publicações Confirmadas: 77



11
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 | CIÊNCIAVITAE
12
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
13
14
15
TÍTULO: Linearity, Control Effects, and Behavioral Types
AUTORES: Luís Caires ; Jorge A Pérez;
PUBLICAÇÃO: 2017, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 18
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
16
TÍTULO: Composing Interfering Abstract Protocols
AUTORES: Filipe Militão; Jonathan Aldrich; Luís Caires ;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
17
TÍTULO: Foundations of Session Types and Behavioural Contracts  Full Text
AUTORES: 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;
PUBLICAÇÃO: 2016, FONTE: ACM COMPUTING SURVEYS, VOLUME: 49, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 120
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
18
TÍTULO: Linear logic propositions as session types
AUTORES: Caires, L ; Pfenning, F ; Toninho, B ;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 74
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
19
TÍTULO: Multiparty Session Types Within a Canonical Binary Theory, and Beyond
AUTORES: Luis Caires ; Jorge A Perez;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
20
TÍTULO: Dependent Information Flow Types
AUTORES: Luisa Lourenco; Luis Caires ;
PUBLICAÇÃO: 2015, FONTE: 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015 in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 2 de 8. Total de resultados: 77.

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

Links Úteis

Ajuda

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