( en | de | ru )

 

Disambiguation of "Caires, Luís"

Author of the publication

copydeleteadd this publication to your clipboard
Linearity, Control Effects, and Behavioral Types.

, and . ESOP, volume 10201 of Lecture Notes in Computer Science, page 229-259. Springer, (2017)

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)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)Session Types as Intuitionistic Linear Propositions., and . CONCUR, volume 6269 of Lecture Notes in Computer Science, page 222-236. Springer, (2010)Logical Semantics of Types for Concurrency.. CALCO, volume 4624 of Lecture Notes in Computer Science, page 16-35. Springer, (2007)Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)., and . CoRR, (2019)Spatial-behavioral types for concurrency and resource control in distributed systems.. Theor. Comput. Sci., 402 (2-3): 120-141 (2008)A Typeful Characterization of Multiparty Structured Conversations Based on Binary Sessions., and . CoRR, (2014)18th International Conference on Concurrency Theory., and . Inf. Comput., 208 (6): 605 (2010)Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency., and . CONCUR, volume 3170 of Lecture Notes in Computer Science, page 240-257. Springer, (2004)A Basic Model of Typed Components., and . ECOOP, volume 1850 of Lecture Notes in Computer Science, page 108-128. Springer, (2000)