Research output per year
Research output per year
Personal profile
Education/Academic qualification
Computer Science, Doctorate, Um Modelo para a Programação e Especificação Declarativas de Sistemas com Concorrência e Mobilidade, Universidade NOVA de Lisboa
Award Date: 1 Jan 1999
Fingerprint
Dive into the research topics where Luís Manuel Marques da Costa Caires is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Safe Session-Based Concurrency with Shared Linear State
Rocha, P. & Caires, L., 2023, 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. Wies, T. (ed.). Cham: Springer, p. 421-450 30 p. (Lecture Notes in Computer Science; vol. 13990).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile1 Citation (Scopus)3 Downloads (Pure) -
A decade of dependent session types
Toninho, B., Caires, L. & Pfenning, F., 6 Sept 2021, Proceedings of the 23rd International Symposium on Principles and Practice of Declarative Programming, PPDP 2021, co-located with LOPSTR 2021 - 31st International Symposium on Logic-Based Program Synthesis and Transformation. ACM - Association for Computing Machinery, 3479398. (ACM International Conference Proceeding Series).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
1 Citation (Scopus) -
Propositions-as-types and shared state
Rocha, P. & Caires, L., Aug 2021, In: Proceedings of the ACM on Programming Languages. 5, ICFP, 3473584.Research output: Contribution to journal › Article › peer-review
Open AccessFile8 Citations (Scopus)20 Downloads (Pure) -
Domain-aware session types
Caires, L., Pérez, J. A., Pfenning, F. & Toninho, B., 1 Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Citations (Scopus) -
Preface
Caires, L., 2019, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 11423 LNCS, p. viiResearch output: Contribution to journal › Editorial › peer-review
Activities
- 1 Editorial activity
-
Information and Computation (Journal)
Luís Manuel Marques da Costa Caires (Editor)
1 Jan 2010Activity: Publication peer-review and editorial work › Editorial activity