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

Active Bibliography

25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994
19 Higher Order Logic – Daniel Leivant - 1994
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
The Compilation of λProlog and its Execution with MALI – Pascal Brisset, Olivier Ridoux - 1993
6 Typed static analysis: Application to groundness analysis of Prolog and lambda-Prolog – Olivier Ridoux, Patrice Boizumault - 1999
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
17 Higher-order Unification with Dependent Function Types – Conal M. Elliott - 1989
10 Elimination of Negation in a Logical Framework – Alberto Momigliano - 2000
2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000
23 Nominal logic programming – James Cheney, Christian Urban - 2006
4 Proof Procedures for Logic Programming – Donald W. Loveland, Donald W. Loveland, Gopalan Nadathur, Gopalan Nadathur - 1994
Imagining CLP(Λ,≡αβ) – Olivier Ridoux - 1995
I R I S a – Campus Universitaire De, Olivier Ridoux, Projet Lande - 1994
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
35 A Semi-Functional Implementation of a Higher-Order Logic Programming Language – Conal Elliott, Frank Pfenning - 1991
4 A Treatment of Higher-Order Features in Logic Programming – Gopalan Nadathur - 2003
85 Forum: A multiple-conclusion specification logic – Dale Miller - 1996