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: Calv=egrave=s:Christophe
Contributed to:
2013
2011
2010Wrote 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.