Artículos con órdenes de acceso público - Luis CairesMás información
Disponibles en algún lugar: 8
Linear Logic Propositions as Session Types
L Caires, F Pfenning, B Toninho
Órdenes: Fundação para a Ciência e a Tecnologia, Portugal
Dependent information flow types
L Lourenço, L Caires
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
Órdenes: Fundação para a Ciência e a Tecnologia, Portugal
Linear logical relations and observational equivalences for session-based concurrency
JA Pérez, L Caires, F Pfenning, B Toninho
Information and Computation 239, 254-302, 2014
Órdenes: Fundação para a Ciência e a Tecnologia, Portugal
Linearity, control effects, and behavioral types
L Caires, JA Pérez
Programming Languages and Systems: 26th European Symposium on Programming …, 2017
Órdenes: Fundação para a Ciência e a Tecnologia, Portugal, European Commission
A decade of dependent session types
B Toninho, L Caires, F Pfenning
Proceedings of the 23rd International Symposium on Principles and Practice …, 2021
Órdenes: Fundação para a Ciência e a Tecnologia, Portugal
Refinement kinds: type-safe programming with practical type-level computation
L Caires, B Toninho
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
Órdenes: Fundação para a Ciência e a Tecnologia, Portugal
Domain-aware session types
L Caires, JA Pérez, F Pfenning, B Toninho
30th International Conference on Concurrency Theory (CONCUR 2019), 35: 1-35: 17, 2019
Órdenes: US National Science Foundation, Netherlands Organisation for Scientific Research
Composing Interfering Abstract Protocols
F Militao, J Aldrich, L Caires
LIPIcs-Leibniz International Proceedings in Informatics 56, 2016
Órdenes: Fundação para a Ciência e a Tecnologia, Portugal
La información de publicación y financiación se determina de forma automática mediante un programa informático