Gérard P. Huet

58 papers A* 5A 3B 2C 1Journal 22Unranked 22

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