Gérard P. Huet
Affiliations:- INRIA, France
According to our database1,
Gérard P. Huet
authored at least 54 papers
between 1973 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
1975
1980
1985
1990
1995
2000
2005
2010
2015
0
1
2
3
4
5
6
1
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
1
1
1
2
1
1
2
2
1
1
1
1
1
1
2
1
2
2
4
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on id.loc.gov
-
on d-nb.info
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2017
2016
J. Lang. Model., 2016
Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization.
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016
2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
2012
2011
2008
Formal Structure of Sanskrit Text: Requirements Analysis for a Mechanical Sanskrit Processor.
Proceedings of the Sanskrit Computational Linguistics, 2008
2006
Proceedings of the International Workshop on Research Issues in Digital Libraries, 2006
Proceedings of the Algebra, Meaning, and Computation, 2006
2005
A functional toolkit for morphological and phonological processing, application to a Sanskrit tagger.
J. Funct. Program., 2005
2003
Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics.
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003
2002
Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002
2001
From an Informal Textual Lexicon to a Well-Structured Lexical Database: An Experiment in Data Reverse Engineering.
Proceedings of the Eighth Working Conference on Reverse Engineering, 2001
2000
Constructive category theory.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
1998
1997
Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997
1996
Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996
1994
1993
1992
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1992
1991
Computations in Orthogonal Rewriting Systems, II.
Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991
Computations in Orthogonal Rewriting Systems, I.
Proceedings of the Computational Logic - Essays in Honor of Alan Robinson, 1991
1990
Design Issues for a Computer-aided Environment for Constructive Mathematics (Abstract).
Proceedings of the Design and Implementation of Symbolic Computation Systems, 1990
1989
Proceedings of the A Perspective in Theoretical Computer Science, 1989
1988
1987
Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1987
1986
Theor. Comput. Sci., 1986
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986
1985
A Selected Bibliography on Constructive Mathematics, Intuitionistic Type Theory and Higher Order Deduction.
J. Symb. Comput., 1985
Concepts mathématiques et informatiques formalisés dans le calcul des constructions.
Proceedings of the Logic Colloquium '85, Orsay, France, 1985
Proceedings of the Combinators and Functional Programming Languages, 1985
Proceedings of the EUROCAL '85, 1985
Proceedings of the Fundamentals of Artificial Intelligence: An Advanced Course, 1985
1984
1982
J. Comput. Syst. Sci., 1982
In Defense of Programming Languages Design.
Proceedings of the 5th European Conference on Artificial Intelligence, 1982
1981
J. Comput. Syst. Sci., 1981
1980
Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems.
J. ACM, 1980
1978
An Algorithm to Generate the Basis of Solutions to Homogeneous Linear Diophantine Equations.
Inf. Process. Lett., 1978
Acta Informatica, 1978
1977
Proceedings of the 5th International Joint Conference on Artificial Intelligence. Cambridge, 1977
Proceedings of the 18th Annual Symposium on Foundations of Computer Science, Providence, Rhode Island, USA, 31 October, 1977
1975
Proceedings of the Lambda-Calculus and Computer Science Theory, 1975
1973
Proceedings of the 3rd International Joint Conference on Artificial Intelligence. Standford, 1973