Implementing Ruby in a Higher-Order Logic Programming Language (1995)

Cached

Download Links

by Richard McPhee
Citations:2 - 0 self

Documents Related by Co-Citation

857 A formulation of the simple theory of types – Alonzo Church - 1940
944 A theory of type polymorphism in programming – Robin Milner - 1978
1862 Foundations of Logic Programming – J W Lloyd - 1987
441 The formulas-as-types notion of construction – W A Howard - 1980
377 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
306 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
288 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
789 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
623 The Art of Prolog – L Sterling, E Shapiro - 1994