Implementing Polymorphic Typing in a Logic Programming Language (1993)

Cached

Download Links

by Keehang Kwon , Gopalan Nadathur , Debra Sue Wilson
Venue:COMPUTER LANGUAGES
Citations:18 - 11 self

Active Bibliography

14 Implementation Considerations for Higher-Order Features in Logic Programming – Gopalan Nadathur, Bharat Jayaraman, Debra Sue Wilson - 1993
21 Scoping Constructs In Logic Programming: Implementation Problems And Their Solution – Gopalan Nadathur, Bharat Jayaraman - 1995
2 The Architecture of an Implementation of ╬╗Prolog: Prolog/Mali – Pascal Brisset, Olivier Ridoux - 1992
155 Higher-order logic programming – Gopalan Nadathur, Dale Miller
4 A Treatment of Higher-Order Features in Logic Programming – Gopalan Nadathur - 2003
1 Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language – Pascal Brisset
30 A Proof Procedure for the Logic of Hereditary Harrop Formulas – Gopalan Nadathur - 1993
1 Optimizing the runtime processing of types in a higher-order logic programming language – Gopalan Nadathur, Xiaochu Qi - 2005
33 A Notation for Lambda Terms I: A Generalization of Environments – Gopalan Nadathur, Debra Sue Wilson - 1994
12 A Notation for Lambda Terms II: Refinements and Applications – Gopalan Nadathur - 1994
6 Typed static analysis: Application to groundness analysis of Prolog and lambda-Prolog – Olivier Ridoux, Patrice Boizumault - 1999
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
1 The Metalanguage Prolog and Its Implementation – Gopalan Nadathur
10 Implementing a Notion of Modules in the Logic Programming Language Prolog – Keehang Kwon, Keehang Kwon, Gopalan Nadathur, Gopalan Nadathur, Debra Sue Wilson, Debra Sue Wilson - 1993
28 An Empirical Study of the Runtime Behavior of Higher-Order Logic Programs – Spiro Michaylov, Frank Pfenning - 1992
25 A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations – Gopalan Nadathur - 1996
2 Lightweight Lemmas in ╬╗ Prolog – Andrew W. Appel, Amy P. Felty - 1999
Imagining CLP(Λ,≡αβ) – Olivier Ridoux - 1995
I R I S a – Campus Universitaire De, Olivier Ridoux, Projet Lande - 1994