BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × The Netherlands
1 × USA
Collaborated with:
M.Fernández N.Palix G.Thomas S.Saha J.L.Lawall G.Muller
Talks about:
nomin (2) unifi (1) order (1) linux (1) later (1) first (1) fault (1) year (1) unif (1) link (1)

Person: Christophe Calvès

DBLP DBLP: Calv=egrave=s:Christophe

Contributed to:

RTA 20132013
ASPLOS 20112011
LOPSTR 20102010

Wrote 3 papers:

RTA-2013-Calves #unification
Unifying Nominal Unification (CC), pp. 143–157.
ASPLOS-2011-PalixTSCLM #fault #linux #years after
Faults in linux: ten years later (NP, GT, SS, CC, JLL, GM), pp. 305–318.
LOPSTR-2010-CalvesF #first-order
The First-Order Nominal Link (CC, MF), pp. 234–248.

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.