Nadji Gauthier

According to our database, Nadji Gauthier authored at least 5 papers between 2001 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

Polymorphic typed defunctionalization and concretization.

François Pottier, Nadji Gauthier

High. Order Symb. Comput., 2006

2004

Polymorphic typed defunctionalization.

François Pottier, Nadji Gauthier

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

Numbering matters: first-order canonical forms for second-order recursive types.

Nadji Gauthier, François Pottier

Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004

2003

A Hidden Markov Models combination framework for handwriting recognition.

Thierry Artières, Nadji Gauthier, Patrick Gallinari, Bernadette Dorizzi

Int. J. Document Anal. Recognit., 2003

2001

Strategies for Combining On-line and Off-line Information in an On-line Handwriting Recognition System.

Nadji Gauthier, Thierry Artières, Patrick Gallinari, Bernadette Dorizzi

Proceedings of the 6th International Conference on Document Analysis and Recognition (ICDAR 2001), 2001