Travelled to:1 × Denmark
1 × Spain
1 × USA
Collaborated with:F.Fages E.Elabd M.Hacid
Talks about:choreographi (1) polymorph (1) implement (1) parametr (1) overload (1) approach (1) practic (1) control (1) system (1) subtyp (1)
Person: Emmanuel Coquery
DBLP: Coquery:Emmanuel
Contributed to:
2010
20052002Wrote 3 papers:
- SEKE-2010-ElabdCH #approach #data access #implementation #web #web service
- Selecting Web Services for Choreography Implementation: Compatibility Checking Approach with Access Control (EE, EC, MSH), pp. 235–240.
- ICLP-2005-CoqueryF #type system
- A Type System for CHR (EC, FF), pp. 402–403.
- ICLP-2002-CoqueryF #morphism #named #parametricity #polymorphism #type system
- TCLP: Overloading, Subtyping and Parametric Polymorphism Made Practical for CLP (EC, FF), p. 480.