Travelled to:1 × Italy
2 × USA
Collaborated with:F.Pottier T.Artières P.Gallinari B.Dorizzi
Talks about:line (3) order (2) type (2) defunction (1) polymorph (1) strategi (1) recognit (1) handwrit (1) system (1) second (1)
Person: Nadji Gauthier
DBLP: Gauthier:Nadji
Contributed to:
2004
2004
2001Wrote 3 papers:
- ICFP-2004-GauthierP #canonical #first-order #higher-order #matter #recursion
- Numbering matters: first-order canonical forms for second-order recursive types (NG, FP), pp. 150–161.
- POPL-2004-PottierG #polymorphism
- Polymorphic typed defunctionalization (FP, NG), pp. 89–98.
- ICDAR-2001-GauthierAGD #online #recognition
- Strategies for Combining On-line and Off-line Information in an On-line Handwriting Recognition System (NG, TA, PG, BD), pp. 412–416.