Scoping Constructs In Logic Programming: Implementation Problems And Their Solution (1995)

Cached

Download Links

by Gopalan Nadathur , Bharat Jayaraman
Citations:21 - 9 self

Documents Related by Co-Citation

488 An Abstract Prolog Instruction Set – D H D Warren - 1983
177 An overview of >'Prolog – Gopalan Nadathur, Dale Miller - 1988
374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
27 The Type System of a Higher-Order Logic Programming Language – Gopalan Nadathur, Frank Pfenning - 1992
207 Linear Objects: logical processes with built-in inheritance – Jean-Marc Andreoli, Remo Pareschi - 1990
147 A logical analysis of modules in logic programming – Dale Miller - 1989
14 Implementation Considerations for Higher-Order Features in Logic Programming – Gopalan Nadathur, Bharat Jayaraman, Debra Sue Wilson - 1993
18 Implementing Polymorphic Typing in a Logic Programming Language – Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson - 1993
303 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
287 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
30 A Proof Procedure for the Logic of Hereditary Harrop Formulas – Gopalan Nadathur - 1993
37 Warren’s Abstract Machine – H Ait-Kaci - 1991
847 A formulation of the simple theory of types – A Church - 1940
302 Higher-order abstract syntax – F Pfenning, C Elliot - 1988
169 A unification algorithm for typed -calculus – G Huet - 1975
65 Lexical scoping as universal quantification – Dale Miller - 1989
184 Contributions to the theory of logic programming – K R Apt, M H Van Emden - 1982
85 Forum: A multiple-conclusion specification logic – Dale Miller - 1996
46 The Uniform Proof-theoretic Foundation of Linear Logic Programming (Extended Abstract) – James Harland, David Pym - 1991