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

Active Bibliography

M. Jean-Pierre Banâtre président Me Christine Paulin-Mohring rapporteurs – Olivier Ridoux, Mm. Alain Colmerauer, René Lalement, Mm. Yves Bekkers Examinateurs, Laurent Trilling
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
778 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
153 Higher-order logic programming – Gopalan Nadathur, Dale Miller
631 Inverse entailment and Progol – Stephen Muggleton - 1995