BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Haemmerl=eacute=:R=eacute=my

Contributed to:

ICLP 20142014
PPDP 20142014
ICLP 20122012
ICLP 20112011
LOPSTR 20112011
PPDP 20112011
RTA 20072007
ICLP 20062006
ICLP 20052005

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.