_hackers/minds
Gérard Huet
Academic

Gérard Huet

Life
1947 – present
Born
July 7, 1947
Nationality
France

Gérard Pierre Huet is a French computer scientist, linguist and mathematician. He is senior research director at INRIA and mostly known for his major and seminal contributions to type theory, programming language theory, and to the theory of computation.

§Related entries

$cat external_references.txt