Higher-Order Horn Clauses (1990)

by Gopalan Nadathur , Dale Miller
Venue:JOURNAL OF THE ACM
Citations:60 - 19 self

Active Bibliography

155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
124 Unification under a mixed prefix – Dale Miller - 1992
25 Extensions and Applications of Higher-order Unification – Conal M. Elliott - 1990
2 A meta language for type checking and inference: An extended abstract – Amy Felty, Dale Miller - 1989
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
The Australian National University – Alwen Tiu, Dale Miller
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
36 An Extension to ML to Handle Bound Variables in Data Structures – Dale Miller - 1990
16 Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization – Scott Dietzen, Frank Pfenning - 1989
17 Higher-order Unification with Dependent Function Types – Conal M. Elliott - 1989
14 Implementation Considerations for Higher-Order Features in Logic Programming – Gopalan Nadathur, Bharat Jayaraman, Debra Sue Wilson - 1993
4 A Treatment of Higher-Order Features in Logic Programming – Gopalan Nadathur - 2003
1 Trustworthy Translation for the Requirements State Machine Language without Events – Michael William Whalen - 2005
19 Higher Order Logic – Daniel Leivant - 1994
7 Representing and reasoning with operational semantics – Dale Miller - 2006
9 Program Development Schemata as Derived Rules – Penny Anderson, David Basin - 2000
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994