Travelled to:1 × France
1 × Spain
1 × USA
1 × United Kingdom
2 × Denmark
Collaborated with:∅ F.Fages M.V.Hermenegildo J.F.Morales G.J.Duck M.Sulzmann P.López-García M.Carro
Talks about:constraint (6) confluenc (3) logic (3) handl (3) rule (3) program (2) modular (2) languag (2) concurr (2) linear (2)
Person: Rémy Haemmerlé
DBLP: Haemmerl=eacute=:R=eacute=my
Contributed to:
2014
201420122011
20112011
200720062005Wrote 11 papers:
- ICLP-J-2014-DuckHS #confluence #consistency #on the #termination #type inference
- On Termination, Confluence and Consistent CHR-based Type Inference (GJD, RH, MS), pp. 619–632.
- PPDP-2014-Haemmerle #constraints #logic programming #on the
- On Combining Backward and Forward Chaining in Constraint Logic Programming (RH), pp. 213–224.
- ICLP-J-2012-Haemmerle #confluence #constraints #diagrams
- Diagrammatic confluence for Constraint Handling Rules (RH), pp. 737–753.
- ICLP-J-2012-MoralesHCH #compilation #javascript #lightweight
- Lightweight compilation of (C)LP to JavaScript (JFM, RH, MC, MVH), pp. 755–773.
- ICLP-J-2011-Haemmerle #concurrent #constraints #linear #logic
- Observational equivalences for linear logic concurrent constraint languages (RH), pp. 469–485.
- ICLP-J-2011-Haemmerle11a #constraints #induction #semantics
- (Co-)Inductive semantics for Constraint Handling Rules (RH), pp. 593–609.
- LOPSTR-2011-MoralesHH #composition #logic
- Modular Extensions for Modular (Logic) Languages (JFM, MVH, RH), pp. 139–154.
- PPDP-2011-HaemmerleLH #constraints
- CLP projection for constraint handling rules (RH, PLG, MVH), pp. 137–148.
- RTA-2007-HaemmerleF #confluence
- Abstract Critical Pairs and Confluence of Arbitrary Binary Relations (RH, FF), pp. 214–228.
- ICLP-2006-HaemmerleF #prolog #revisited
- Modules for Prolog Revisited (RH, FF), pp. 41–55.
- ICLP-2005-Haemmerle #concurrent #constraints #linear #programming
- SiLCC Is Linear Concurrent Constraint Programming (RH), pp. 448–449.