Login / Signup
Gérard Huet
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Normal Form
Functional Dependencies
Spanish Language
Manually Annotated
Top Venues
CoRR
</>
Publications
</>
Gilles Dowek
,
Gérard Huet
,
Benjamin Werner
On the Definition of the Eta-long Normal Form in Type Systems of the Cube.
CoRR
(2023)
Sriram Krishnan
,
Amba P. Kulkarni
,
Gérard Huet
Validation and Normalization of DCS corpus using Sanskrit Heritage tools to build a tagged Gold Corpus.
CoRR
(2020)