Extending definite clause grammars with scoping constructs (1990)

Cached

Download Links

by Remo Pareschi , Dale Miller
Venue:7th Int. Conf. Logic Programming
Citations:25 - 4 self

Documents Related by Co-Citation

374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
64 Lexical scoping as universal quantification – Dale Miller - 1989
176 An overview of -prolog – D Miller, G Nadathur - 1988
27 Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language – Joshua Hodas - 1992
15 Type-driven Natural Language Analysis – R Pareschi - 1989
50 Logic Programming in Intuitionistic Linear Logic: Theory, Design and Implementation – J S Hodas - 1994
66 Implementing Tactics and Tacticals in a Higher-Order Logic Programming Language – Amy Felty - 1993
169 A unification algorithm for typed -calculus – G Huet - 1975
30 Abstract syntax and logic programming – Dale Miller - 1991
80 Partial polymorphic type inference and higher-order unification – Frank Pfenning - 1988
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
291 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
18 Naive Reverse can be Linear – Pascal Brisset, Olivier Ridoux - 1991
35 A Semi-Functional Implementation of a Higher-Order Logic Programming Language – Conal Elliott, Frank Pfenning - 1991
461 The mathematics of sentence structure – J Lambek - 1958
62 Higher-Order Horn Clauses – Gopalan Nadathur, Dale Miller - 1990
147 A logical analysis of modules in logic programming – Dale Miller - 1989
99 An Overview of λProlog – Gopalan Nadathur, Dale Miller - 1988