Travelled to:1 × Austria
1 × Denmark
1 × Hungary
1 × India
1 × Portugal
1 × Spain
1 × Sweden
2 × France
2 × Germany
3 × Estonia
3 × Italy
3 × United Kingdom
Collaborated with:J.C.Seco B.Toninho F.Pfenning H.T.Vieira L.Monteiro J.A.Pérez ∅ F.Militão J.Aldrich L.Lourenço H.DeYoung L.Ferrão
Talks about:type (13) logic (7) session (6) behavior (4) linear (4) polymorph (3) process (3) concurr (3) specif (3) comput (3)
Person: Luís Caires
DBLP: Caires:Lu=iacute=s
Facilitated 2 volumes:
Ed
EdContributed to:
2015
201420132013
20122012
2012
20122011
2011200920082006200520042000199819971996
199420172016
2019Wrote 24 papers:
- POPL-2015-LourencoC #data flow
- Dependent Information Flow Types (LL, LC), pp. 317–328.
- ECOOP-2014-MilitaoAC #protocol
- Rely-Guarantee Protocols (FM, JA, LC), pp. 334–359.
- ESOP-2013-CairesPPT #behaviour #communication #morphism #parametricity #polymorphism
- Behavioral Polymorphism and Parametricity in Session-Based Communication (LC, JAP, FP, BT), pp. 330–349.
- ESOP-2013-ToninhoCP #higher-order #integration #monad #process
- Higher-Order Processes, Functions, and Sessions: A Monadic Integration (BT, LC, FP), pp. 350–369.
- POPL-2013-CairesS #behaviour
- The type discipline of behavioral separation (LC, JCS), pp. 275–286.
- CSL-2012-DeYoungCPT #communication #linear #logic #reduction
- Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication (HD, LC, FP, BT), pp. 228–242.
- ESOP-2012-PerezCPT #concurrent #linear #logic
- Linear Logical Relations for Session-Based Concurrency (JAP, LC, FP, BT), pp. 539–558.
- FoSSaCS-2012-ToninhoCP #process
- Functions as Session-Typed Processes (BT, LC, FP), pp. 346–360.
- TACAS-2012-CairesV #concurrent #logic #model checking #named #specification
- SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications (LC, HTV), pp. 485–491.
- ESOP-2011-CairesPSVF #data access #type system
- Type-Based Access Control in Data-Centric Systems (LC, JAP, JCS, HTV, LF), pp. 136–155.
- PPDP-2011-ToninhoCP #linear #type system
- Dependent session types via intuitionistic linear type theory (BT, LC, FP), pp. 161–172.
- ESOP-2009-CairesV
- Conversation Types (LC, HTV), pp. 285–300.
- ESOP-2008-VieiraCS #calculus
- The Conversation Calculus: A Model of Service-Oriented Computation (HTV, LC, JCS), pp. 269–283.
- ESOP-2006-SecoC #configuration management
- Types for Dynamic Reconfiguration (JCS, LC), pp. 214–229.
- ESOP-2005-SecoC #component #polymorphism #type system
- Subtyping First-Class Polymorphic Components (JCS, LC), pp. 342–356.
- FoSSaCS-2004-Caires #behaviour #logic #π-calculus
- Behavioral and Spatial Observations in a Logic for the π-Calculus (LC), pp. 72–89.
- ECOOP-2000-SecoC #component
- A Basic Model of Typed Components (JCS, LC), pp. 108–128.
- ESOP-1998-CairesM #concurrent #execution #logic #specification
- Verifiable and Executable Logic Specifications of Concurrent Objects in Lpi (LC, LM), pp. 42–56.
- ALP-1997-CairesM #proving #semantics
- Proof Net Semantics of Proof Search Computation (LC, LM), pp. 194–208.
- ALP-1996-Caires #logic #process #specification
- A Language for the Logical Specification of Processes and Relations (LC), pp. 150–164.
- ICLP-1994-CairesM #higher-order #logic programming #polymorphism #unification
- Higher-Order Polymorphic Unification for Logic Programming (LC, LM), pp. 419–433.
- ESOP-2017-CairesP #behaviour
- Linearity, Control Effects, and Behavioral Types (LC, JAP), pp. 229–259.
- ECOOP-2016-MilitaoAC #protocol
- Composing Interfering Abstract Protocols (FM, JA, LC), p. 26.
- OOPSLA-2019-CairesT #programming #refinement #type safety
- Refinement kinds: type-safe programming with practical type-level computation (LC, BT), p. 30.