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

879 A formulation of the simple theory of types – A Church - 1940
985 A theory of type polymorphism in programming – Robin Milner - 1978
1921 Foundations of Logic Programming – J Lloyd - 1987
469 The formulae-as-types notion of construction – W Howard - 1980
385 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
320 Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser Theorem – N. G. De Bruijn - 1972
307 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
295 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
813 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
644 The art of prolog – L Sterling, E Shapiro - 1986