( en | de | ru )

 

Disambiguation of "Caires, Luís"

Author of the publication

copydeleteadd this publication to your clipboard
Higher-Order Polymorphic Unification for Logic Programming.

, and . ICLP, page 419-433. MIT Press, (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Werner Luis

Luís Damas

Luís Paquete

Pia Luislampe

Mathieu Luisier

 

Other publications of authors with the same name

Propositions-as-types and shared state., and . Proc. ACM Program. Lang., 5 (ICFP): 1-30 (2021)Session Types as Intuitionistic Linear Propositions., and . CONCUR, volume 6269 of Lecture Notes in Computer Science, page 222-236. Springer, (2010)SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications., and . TACAS, volume 7214 of Lecture Notes in Computer Science, page 485-491. Springer, (2012)Logical Semantics of Types for Concurrency.. CALCO, volume 4624 of Lecture Notes in Computer Science, page 16-35. Springer, (2007)Towards Distributed Tools for Heterogeneous Logic Programming Environments., , and . ICLP, page 505-520. MIT Press, (1989)A Type System for Flexible Role Assignment in Multiparty Communicating Systems., , , and . TGC, volume 8191 of Lecture Notes in Computer Science, page 82-96. Springer, (2012)Types for Dynamic Reconfiguration., and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 214-229. Springer, (2006)Information Flow Analysis for Valued-Indexed Data Security Compartments., and . TGC, volume 8358 of Lecture Notes in Computer Science, page 180-198. Springer, (2013)Functions as Session-Typed Processes., , and . FoSSaCS, volume 7213 of Lecture Notes in Computer Science, page 346-360. Springer, (2012)Domain-Aware Session Types., , , and . CONCUR, volume 140 of LIPIcs, page 39:1-39:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)