Total Publications: 15

  • Propositions-as-types and shared state
    Luis Caires, Pedro Rocha,
    Proceedings of the ACM on Programming Languages (ICFP), vol. 5, September 2021
  • Refinement kinds: type-safe programming with practical type-level computation
    Luis Caires, Bernardo Toninho,
    Proceedings of the ACM on Programming Languages (OOPSLA), vol. 3, August 2019
  • Linear logic propositions as session types
    Luis Caires, Bernardo Toninho, Frank Pfenning,
    Math. Struct. Comput. Sci., vol. 26, n. 3, August 2016
  • Conversation types
    Luis Caires,
    Theoretical Computer Science, vol. 411, July 2010
  • A spatial logic for concurrency - II
    Luis Caires, Luca Cardelli,
    Theoretical Computer Science, vol. 322, n. 3, February 2004
  • A spatial logic for concurrency (part I)
    Luis Caires, Luca Cardelli,
    Information and Computation, vol. 186, n. 2, February 2003
  • The Session Abstract Machine
    Luis Caires, Bernardo Toninho,
    Programming Languages and Systems - 33th European Symposium on Programming, ESOP 2024, LNCS, Springer-Verlag, April 2024
  • Safe Session-Based Concurrency with Shared Linear State
    Luis Caires, Pedro Rocha,
    32nd European Symposium on Programming, ESOP 2023, April 2023
  • A Decade of Dependent Session Types
    Luis Caires, Bernardo Toninho, Frank Pfenning,
    PPDP 21 23rd International Symposium on Principles and Practice of Declarative Programming, September 2021
  • Domain-Aware Session Types
    Luis Caires, Bernardo Toninho, Frank Pfenning, Jorge Perez,
    30th International Conference on Concurrency Theory, CONCUR 2019, LNCS, Springer-Verlag, September 2019
  • Dependent Information Flow Types
    Luis Caires, Luísa Lourenço,
    Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015, January 2015
  • The type discipline of behavioral separation
    Luis Caires, João Costa Seco,
    The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13, Rome, Italy - January 23 - 25, 2013, ACM, January 2013
  • Session Types as Intuitionistic Linear Propositions
    Luis Caires, Frank Pfenning,
    CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010. Proceedings., LNCS, Springer-Verlag, September 2010
  • ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
    Luis Caires,
    , LNCS, Springer-Verlag, ISBN ISBN 978-3-030-17183-4, April 2019