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

Active Bibliography

302 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
Abstract – Joshua S. Hodas, Dale Miller
J. LOGIC PROGRAMMING 1993:12:1-199 1 MODULARITY IN LOGIC PROGRAMMING – Michele Bugliesi, Evelina Lamma, Paola Mello
84 Modularity In Logic Programming – Michele Bugliesi, Evelina Lamma, Paola Mello - 1993
375 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
766 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
589 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
421 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
152 Higher-order logic programming – Gopalan Nadathur, Dale Miller