Gérard P. Huet

Publication Activity (10 Years)

Years Active: 1973-2017
Publications (10 Years): 4

Top Topics

Functional Programming

Quantifier Elimination

Top Venues

J. Lang. Model.

Math. Struct. Comput. Sci.

Publications

Gérard P. Huet, Benoît Razet
Computing with relational machines. Math. Struct. Comput. Sci. 27 (5) (2017)
Pierre-Louis Curien, Gérard P. Huet, Antoine Petit
Obituary Maurice Nivat (1937-2017). Bull. EATCS 123 (2017)
Pawan Goyal, Gérard P. Huet
Design and analysis of a lean interface for Sanskrit corpus annotation. J. Lang. Model. 4 (2) (2016)
Gérard P. Huet
Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization. FSCD (2016)
Gérard P. Huet, Amba P. Kulkarni
Sanskrit Linguistics Web Services. COLING (Demos) (2014)
Gérard P. Huet, Hugo Herbelin
30 years of research and development around Coq. POPL (2014)
Pawan Goyal, Gérard P. Huet, Amba P. Kulkarni, Peter M. Scharf, Ralph Bunker
A Distributed Platform for Sanskrit Processing. COLING (2012)
Gérard P. Huet
Preface. Math. Struct. Comput. Sci. 21 (4) (2011)
Gérard P. Huet
Formal Structure of Sanskrit Text: Requirements Analysis for a Mechanical Sanskrit Processor. Sanskrit Computational Linguistics (2008)
Gérard P. Huet, Benoît Razet
The Reactive Engine for Modular Transducers. Essays Dedicated to Joseph A. Goguen (2006)
Gérard P. Huet
Shallow syntax analysis in Sanskrit guided by semantic nets constraints. IWRIDL (2006)
Gérard P. Huet
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger. J. Funct. Program. 15 (4) (2005)
Gérard P. Huet
Automata Mista. Verification: Theory and Practice (2003)
Gérard P. Huet
Special issue on 'Logical frameworks and metalanguages'. J. Funct. Program. 13 (2) (2003)
Gérard P. Huet
Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. PADL (2003)
Gérard P. Huet
Srl Yantra Geometry. Theor. Comput. Sci. 281 (1-2) (2002)
Gérard P. Huet
Higher Order Unification 30 Years Later. TPHOLs (2002)
Gérard P. Huet
From an Informal Textual Lexicon to a Well-Structured Lexical Database: An Experiment in Data Reverse Engineering. WCRE (2001)
Gérard P. Huet, Amokrane Saïbi
Constructive category theory. Proof, Language, and Interaction (2000)
Gérard P. Huet
Regular Böhm trees. Math. Struct. Comput. Sci. 8 (6) (1998)
Gérard P. Huet, Henri Laulhère
Finite-State Transducers as Regular Böhm Trees. TACS (1997)
Gérard P. Huet
The Zipper. J. Funct. Program. 7 (5) (1997)
Gérard P. Huet
Design Proof Assistant (Abstract). RTA (1996)
Gérard P. Huet
Residual Theory in lambda-Calculus: A Formal Development. J. Funct. Program. 4 (3) (1994)
Gérard P. Huet
An Analysis of Böhm's Theorem. Theor. Comput. Sci. 121 (1&2) (1993)
Gérard P. Huet
The Gallina Specification language: A Case Study. FSTTCS (1992)
Gérard P. Huet, Jean-Jacques Lévy
Computations in Orthogonal Rewriting Systems, II. Computational Logic - Essays in Honor of Alan Robinson (1991)
Gérard P. Huet, Jean-Jacques Lévy
Computations in Orthogonal Rewriting Systems, I. Computational Logic - Essays in Honor of Alan Robinson (1991)
Gérard P. Huet
Design Issues for a Computer-aided Environment for Constructive Mathematics (Abstract). DISCO (1990)
Thierry Coquand, Gérard P. Huet
The Calculus of Constructions Inf. Comput. 76 (2/3) (1988)
Gérard P. Huet
The Calculus of Constructions: State of the Art. FSTTCS (1987)
Gérard P. Huet
Induction Principles Formalized in the Calculus of Constructions. TAPSOFT, Vol.1 (1987)
Gérard P. Huet
Mechanizing Constructive Proofs (Abstract). CADE (1986)
François Fages, Gérard P. Huet
Complete Sets of Unifiers and Matchers in Equational Theories. Theor. Comput. Sci. 43 (1986)
Gérard P. Huet
Theorem Proving Systems of the Formel Project. CADE (1986)
Gérard P. Huet
Cartesian closed Categories and Lambda- calculus. Combinators and Functional Programming Languages (1985)
Gérard P. Huet
Deduction and Computation. Advanced Course: Fundamentals of Artificial Intelligence (1985)
Thierry Coquand, Gérard P. Huet
Constructions: A Higher Order Proof System for Mechanizing Mathematics. European Conference on Computer Algebra (1) (1985)
Thierry Coquand, Gérard P. Huet
A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction. J. Symb. Comput. 1 (3) (1985)
Thierry Coquand, Gérard P. Huet
Concepts mathématiques et informatiques formalisés dans le calcul des constructions. Logic Colloquium (1985)
Gérard P. Huet
The future of symbolic computation: mathematics versus languages. SIGSAM Bull. 18 (2) (1984)
François Fages, Gérard P. Huet
Complete Sets of Unifiers and Matchers in Equational Theories. CAAP (1983)
Gérard P. Huet, Jean-Marie Hullot
Proofs by Induction in Equational Theories with Constructors. J. Comput. Syst. Sci. 25 (2) (1982)
Gérard P. Huet
In Defense of Programming Languages Design. ECAI (1982)
Gérard P. Huet
A Complete Proof of Correctness of the Knuth-Bendix Completion Algorithm. J. Comput. Syst. Sci. 23 (1) (1981)
Gérard P. Huet, Jean-Marie Hullot
Proofs by Induction in Equational Theories with Constructors FOCS (1980)
Gérard P. Huet
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems. J. ACM 27 (4) (1980)
Gérard P. Huet, Bernard Lang
Proving and Applying Program Transformations Expressed with Second-Order Patterns. Acta Informatica 11 (1978)
Gérard P. Huet
An Algorithm to Generate the Basis of Solutions to Homogeneous Linear Diophantine Equations. Inf. Process. Lett. 7 (3) (1978)
Jacques Pitrat, Erik Sandewall, Wolfgang Bibel, Gérard P. Huet, Hans-Hellmut Nagel, M. Somalivco
Artificial Intelligence in Western Europe. IJCAI (1977)
Gérard P. Huet
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems FOCS (1977)
Gérard P. Huet
unification in typed lambda calculus. Lambda-Calculus and Computer Science Theory (1975)
Gérard P. Huet
A Unification Algorithm for Typed lambda-Calculus. Theor. Comput. Sci. 1 (1) (1975)
Gérard P. Huet
A Mechanization of Type Theory. IJCAI (1973)
Gérard P. Huet
The Undecidability of Unification in Third Order Logic Inf. Control. 22 (3) (1973)