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:27 - 9 self

Documents Related by Co-Citation

374 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
177 An overview of >'Prolog – Gopalan Nadathur, Dale Miller - 1988
18 Implementing Polymorphic Typing in a Logic Programming Language – Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson - 1993
847 A formulation of the simple theory of types – A Church - 1940
303 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
287 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
81 Partial polymorphic type inference and higher-order unification – Frank Pfenning - 1988
21 Scoping Constructs In Logic Programming: Implementation Problems And Their Solution – Gopalan Nadathur, Bharat Jayaraman - 1995
302 Higher-order abstract syntax – F Pfenning, C Elliot - 1988
99 An Overview of ╬╗Prolog – Gopalan Nadathur, Dale Miller - 1988
36 clause programs with polymorphic types: semantics and resolution – Horn - 1991
140 A Polymorphic Type System For Prolog – A Mycroft, R O'Keefe - 1984
488 An Abstract Prolog Instruction Set – D H D Warren - 1983
153 Higher-order logic programming – Gopalan Nadathur, Dale Miller
47 Asynchronous Communication Model Based on Linear Logic – Naoki Kobayashi, Akinori Yonezawa - 1995
35 A Semi-Functional Implementation of a Higher-Order Logic Programming Language – Conal Elliott, Frank Pfenning - 1991
18 Naive Reverse can be Linear – Pascal Brisset, Olivier Ridoux - 1991
7 and Gopalan Nadathur. Prolog Version 2.7. Distribution in C-Prolog and Quintus sources – Dale Miller - 1988
313 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999