|
54
|
Higher-Order Horn Clauses
– Gopalan Nadathur, Dale Miller
- 1990
|
|
145
|
Higher-order logic programming
– Gopalan Nadathur, Dale Miller
|
|
335
|
Uniform proofs as a foundation for logic programming
– Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov
- 1991
|
|
203
|
A Linear Logical Framework
– Iliano Cervesato, Frank Pfenning
- 1996
|
|
271
|
A logic programming language with lambda-abstraction, function variables, and simple unification
– Dale Miller
- 1990
|
|
14
|
Implementation Considerations for Higher-Order Features in Logic Programming
– Gopalan Nadathur, Bharat Jayaraman, Debra Sue Wilson
- 1993
|
|
|
The Australian National University
– Alwen Tiu, Dale Miller
|
|
16
|
Higher Order Logic
– Daniel Leivant
- 1994
|
|
14
|
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
– Scott Dietzen, Frank Pfenning
- 1989
|
|
2
|
A meta language for type checking and inference: An extended abstract
– Amy Felty, Dale Miller
- 1989
|
|
|
Abstract An Extension to ML to Handle Bound Variables in Data Structures: Preliminary Report
– Dale Miller
|
|
|
October 1990 A short article for the
– Encyclopedia Of Artificial
|
|
6
|
Representing and reasoning with operational semantics
– Dale Miller
- 2006
|
|
|
Contents
– The Phragmén-lindelöf Theorem
- 2006
|
|
283
|
Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract
– Joshua S. Hodas, Dale Miller
- 1991
|
|
|
A Pragmatic Reconstruction of λProlog
– Catherine Belleannée, Pascal Brisset, Olivier Ridoux
- 1994
|
|
16
|
A Logic Programming Approach to Implementing Higher-Order Term Rewriting
– Amy Felty
- 1992
|
|
3
|
A Treatment of Higher-Order Features in Logic Programming
– Gopalan Nadathur
- 2003
|
|
3
|
Object-Level Substitution, Unification And Generalization In Meta-Logic
– Chuck C. Liang
- 1995
|
