Gérard Huet

According to our database, Gérard Huet authored at least 3 papers between 2020 and 2025.

Collaborative distances:

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

2025

Normalized dataset for Sanskrit word segmentation and morphological parsing.

Sriram Krishnan, Amba Kulkarni, Gérard Huet

Lang. Resour. Evaluation, June, 2025

2023

On the Definition of the Eta-long Normal Form in Type Systems of the Cube.

Gilles Dowek, Gérard Huet, Benjamin Werner

CoRR, 2023

2020

Validation and Normalization of DCS corpus using Sanskrit Heritage tools to build a tagged Gold Corpus.

Sriram Krishnan, Amba P. Kulkarni, Gérard Huet

CoRR, 2020