Nadji Gauthier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2001–2004
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | ICFP | Numbering matters: first-order canonical forms for second-order recursive types. | Nadji Gauthier, Franois Pottier |
| 2004 | POPL | Polymorphic typed defunctionalization. | Franois Pottier, Nadji Gauthier |
| 2001 | ICDAR | Strategies for Combining On-line and Off-line Information in an On-line Handwriting Recognition System. | Nadji Gauthier, Thierry Artires, Patrick Gallinari, Bernadette Dorizzi |