Unification via Explicit Substitutions: The Case of Higher-Order Patterns (1998)

by Gilles Dowek , Therese Hardin , Claude Kirchner , Frank Pfenning
Venue:PROCEEDINGS OF JICSLP'96
Citations:56 - 14 self

Documents Related by Co-Citation

695 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
287 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
314 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
61 Unification and Anti-Unification in the Calculus of Constructions – Frank Pfenning - 1991
102 Higher-order Unification via Explicit Substitutions (Extended Abstract) – Gilles Dowek, Thérèse Hardin, Claude Kirchner - 1995
389 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
845 A Formulation of the Simple Theory of Types – A Church - 1940
207 A new approach to abstract syntax with variable binding – Murdoch J. Gabbay, Andrew M. Pitts - 2002
80 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
1115 The Lambda Calculus: Its Syntax and Semantics – H Barendregt - 1984
84 Pattern matching with dependent types – Thierry Coquand - 1992
120 Confluence properties of Weak and Strong Calculi of Explicit Substitutions – Pierre-Louis Curien , Therese Hardin, Jean-Jacques Levy - 1996
18 Algorithms for Equality and Unification in the Presence of Notational Definitions – Frank Pfenning, Carsten Schürmann - 1998
32 Mode and Termination Checking for Higher-Order Logic Programs – Ekkehard Rohwedder, Frank Pfenning - 1996
12 Optimizing Higher-Order Pattern Unification – Brigitte Pientka, Frank Pfenning - 2003
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
169 A unification algorithm for typed -calculus – G Huet - 1975
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002