Matthieu Sozeau 1, 2AuthorPersonId : 911472
Nicolas Tabareau 3, 4AuthorPersonId : 3252 IdHAL : nicolas-tabareauORCID : 0000-0003-3366-2273IdRef : 130627526
Guilhem Jaber 3, 4AuthorPersonId : 763312IdRef : 181716305
Computer Science [cs] / Programming Languages [cs.PL]
UNIV-PARIS7 | UNIV-NANTES | PPS | CNRS | INRIA | LINA | LINA-ASCOLA | INFO | INRIA2 | IMT-ATLANTIQUE | UNIV-PARIS | NANTES-UNIVERSITE