The Type System of a Higher-Order Logic Programming Language (1992)

Cached

Download Links

by Gopalan Nadathur , Frank Pfenning
Venue:TYPES IN LOGIC PROGRAMMING
Citations:28 - 9 self

Documents Related by Co-Citation

385 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
176 An overview of Prolog – D Miller, G Nadathur - 1988
879 A formulation of the simple theory of types – A Church - 1940
18 Implementing Polymorphic Typing in a Logic Programming Language – Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson - 1993
508 An abstract Prolog instruction set – D Warren - 1983
21 Scoping Constructs In Logic Programming: Implementation Problems And Their Solution – Gopalan Nadathur, Bharat Jayaraman - 1995
311 Higher-order abstract syntax – Frank Pfenning, Conal Elliott
985 A theory of type polymorphism in programming – Robin Milner - 1978
307 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller