|
334
|
Uniform proofs as a foundation for logic programming
– Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov
- 1991
|
|
176
|
An Overview of *Prolog
– G Nadathur, D Miller
- 1988
|
|
729
|
A formulation of the simple theory of types
– A Church
- 1940
|
|
17
|
Implementing Polymorphic Typing in a Logic Programming Language
– Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson
- 1993
|
|
283
|
Logic Programming in a Fragment of Intuitionistic Linear Logic: Extended Abstract
– Joshua S. Hodas, Dale Miller
- 1991
|
|
271
|
A logic programming language with lambda-abstraction, function variables, and simple unification
– Dale Miller
- 1990
|
|
79
|
Partial polymorphic type inference and higher-order unification
– Frank Pfenning
- 1988
|
|
19
|
Scoping Constructs In Logic Programming: Implementation Problems And Their Solution
– Gopalan Nadathur, Bharat Jayaraman
- 1995
|
|
131
|
A polymorphic type system for Prolog
– A Mycroft, R O’Keefe
- 1984
|
|
269
|
Higher-order abstract syntax
– Frank Pfenning, Conal Elliott
- 1988
|
|
145
|
Higher-order logic programming
– Gopalan Nadathur, Dale Miller
|
|
32
|
A Semi-Functional Implementation of a Higher-Order Logic Programming Language
– Conal Elliott, Frank Pfenning
- 1991
|
|
169
|
A unification algorithm for typed -calculus
– G'erard Huet
- 1975
|
|
61
|
Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language
– Amy Felty
- 1993
|
|
36
|
clause programs with polymorphic types: Semantics and resolution
– Horn
- 1989
|
|
473
|
An Abstract Prolog instruction set
– D H D Warren
- 1983
|
|
45
|
Asynchronous Communication Model Based on Linear Logic
– Naoki Kobayashi, Akinori Yonezawa
- 1995
|
|
7
|
and Gopalan Nadathur. Prolog Version 2.7. Distribution in C-Prolog and Quintus sources
– Dale Miller
- 1988
|
|
55
|
Typed Prolog: A semantic reconstruction of the Mycroft-O’Keefe type system
– T K Lakshman, U S Reddy
- 1991
|
