Luís Manuel Marques da Costa Caires

View Scopus Profile

Luís Manuel Marques da Costa Caires

Former affiliations
 https://orcid.org/0000-0002-3215-6734
Calculated based on number of publications stored in Pure and citations from Scopus
1993 …2024

Research activity 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
View full fingerprint

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
Explore network further

  • The Session Abstract Machine

    Caires, L. & Toninho, B., 2024, Programming Languages and Systems - 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Proceedings. Weirich, S. (ed.). Springer Science and Business Media Deutschland GmbH, p. 206-235 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14576 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    File
    1 Citation (Scopus)
    3 Downloads (Pure)

  • 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 Access
    File
    6 Citations (Scopus)
    47 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

    3 Citations (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 Access
    File
    13 Citations (Scopus)
    88 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

    5 Citations (Scopus)
View all 66 research outputs
  • 1 Editorial activity