Travelled to:1 × USA
Collaborated with:M.Hoyrup W.Gomaa R.N.S.Rowe S.J.Thompson S.Owens
Talks about:characteris (1) implement (1) function (1) complex (1) within (1) theori (1) system (1) renam (1) queri (1) modul (1)
Person: Hugo Férée
DBLP: F=eacute=r=eacute=e:Hugo
Contributed to:
2013
2019Wrote 2 papers:
- LICS-2013-FereeHG #complexity #on the #query
- On the Query Complexity of Real Functionals (HF, MH, WG), pp. 103–112.
- PLDI-2019-RoweFTO #implementation #ml
- Characterising renaming within OCaml's module system: theory and implementation (RNSR, HF, SJT, SO), pp. 950–965.