Gopalan Nadathur and Debra Sue Wilson. A representation of lambda terms suitable for operations on their intensions. In M. Wand, editor, Proceedings of the 1990. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Functional Notation for Indexed Concepts - Wolfengagen (2000) (Correct)
Unification via the ...-Style of Explicit Substitutions - Ayala-Rincon, al. (2001) (Correct)
Higher Order Unification via ...-Style of Explicit.. - Ayala-Rincon, Kamareddine (Correct)
The Architecture of an Implementation of λProlog.. - Brisset, Ridoux (1992) (2 citations) (Correct)
Logic Programming with Monads and Comprehensions - Bekkers, Tarau (Correct)
Lightweight Lemmas in Lambda Prolog (Extended Version) - Appel, Felty (1999) (Correct)
Higher-order Unification via Explicit Substitutions - Dowek, Hardin, Kirchner (1995) (52 citations) (Correct)
HOL-λσ: an intentional first-order.. - Dowek, Hardin, Kirchner (1999) (1 citation) (Correct)
Relating the lambda sigma- and lambda s-Styles of.. - Kamareddine, Ríos (2000) (1 citation) (Correct)
The Architecture of an Implementation of λProlog.. - Brisset, Ridoux (1994) (2 citations) (Correct)
A Semi-Functional Implementation of a Higher-Order Logic.. - Elliott, Pfenning (1990) (30 citations) (Correct)
Compilation of Head and Strong Reduction - Fradet (1993) (Correct)
Compilation of Head and Strong Reduction - Fradet (Correct)
Lightweight Lemmas in lamba Prolog - Appel, Felty (1999) (Correct)
Typed Common Intermediate Format - Shao (1997) (11 citations) (Correct)
An Empirical Study of the Runtime Behavior of Higher-Order.. - Michaylov, Pfenning (1992) (9 citations) (Correct)
An Overview of the FLINT/ML Compiler - Shao (1997) (34 citations) (Correct)
Unknown - Apport De Recherche (Correct)
Unification via Explicit Substitutions: - The Case Of (Correct)
Unification via ...-Style of Explicit Substitution - Ayala-Rincón, Kamareddine (2000) (Correct)
Implementation Considerations for Higher-Order Features in.. - Jayaraman, Wilson Self-citation (Wilson) (Correct)
Implementing Polymorphic Typing in a Logic Programming.. - Kwon, Nadathur, Wilson (1993) (3 citations) Self-citation (Nadathur Wilson) (Correct)
Scoping Constructs in Logic Programming: Implementation.. - Nadathur, Jayaraman.. (1993) (14 citations) Self-citation (Nadathur) (Correct)
A Notation for Lambda Terms I: A Generalization of Environments - Nadathur, Wilson (1994) (22 citations) Self-citation (Nadathur Wilson) (Correct)
Implementation Considerations for Higher-Order Features in.. - Nadathur, Wilson (1993) (5 citations) Self-citation (Nadathur Wilson) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC