| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David Baelde, Gopalan Nadathur |
Combining Deduction Modulo and Logics of Fixed-Point Definitions  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
Nominal abstraction. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Herman Geuvers, Gopalan Nadathur (eds.) |
Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice |
LFMTP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary Snow, David Baelde, Gopalan Nadathur |
Redundancies in Dependently Typed Lambda Calculi and Their Relevance to Proof Search |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zachary Snow, David Baelde, Gopalan Nadathur |
A Meta-Programming Approach to Realizing Dependently Typed Logic Programming |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zachary Snow, David Baelde, Gopalan Nadathur |
A meta-programming approach to realizing dependently typed logic programming. |
PPDP |
2010 |
DBLP DOI BibTeX RDF |
dependently typed lambda calculi, higher-order logic programming, translation, logical frameworks |
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
Reasoning in Abella about Structural Operational Semantics Specifications. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
A two-level logic approach to reasoning about computations |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
Nominal Abstraction |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
Combining generic judgments with recursive definitions |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
Reasoning in Abella about Structural Operational Semantics Specifications |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Andrew Gacek, Dale Miller, Gopalan Nadathur |
Combining Generic Judgments with Recursive Definitions. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
generic judgments, reasoning about operational semantics, higher-order abstract syntax, proof search |
| 1 | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu |
The Bedwyr system for model checking over syntactic expressions |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Andrew Gacek, Gopalan Nadathur |
A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | David Baelde, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu |
The Bedwyr System for Model Checking over Syntactic Expressions. |
CADE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur |
A treatment of higher-order features in logic programming. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur, Xiaochu Qi |
Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur, Natalie Linnell |
Practical Higher-Order Pattern Unification with On-the-Fly Raising. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Jagadeesan, Gopalan Nadathur, Vijay A. Saraswat |
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur |
A treatment of higher-order features in logic programming |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Chuck Liang, Gopalan Nadathur, Xiaochu Qi |
Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts. |
J. Autom. Reasoning |
2004 |
DBLP DOI BibTeX RDF |
lambda conversion, implementation, lambda calculus, explicit substitution |
| 1 | Gopalan Nadathur, Xiaochu Qi |
Explicit substitutions in the reduction of lambda terms. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
beta reduction, graph and environment based reduction procedures, suspension notation, lambda calculus, higher-order abstract syntax, explicit substitution, metalanguages |
| 1 | Gopalan Nadathur |
The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuck Liang, Gopalan Nadathur |
Tradeoffs in the Intensional Representation of Lambda Terms. |
RTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur |
The Metalanguage lambda-Prolog and Its Implementation. |
FLOPS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur |
Correspondences between classical, intuitionistic and uniform provability. |
Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur |
A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations. |
Journal of Functional and Logic Programming |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gopalan Nadathur, Guanshan Tong |
Realizing Modularity in lambdaProlog. |
Journal of Functional and Logic Programming |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gopalan Nadathur, Dustin J. Mitchell |
System Description: Teyjus - A Compiler and Abstract Machine Based Implementation of lambda-Prolog. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur (eds.) |
Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29 - October 1, 1999, Proceedings |
PPDP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gopalan Nadathur, Debra Sue Wilson |
A Notation for Lambda Terms: A Generalization of Environments. |
Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur |
Uniform Provability in Classical Logic. |
J. Log. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur |
Correspondences between Classical, Intuitionistic and Uniform Provability |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Gopalan Nadathur |
Uniform Provability in Classical Logic |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon |
Scoping Constructs in Logic Programming: Implementation Problems and their Solution |
CoRR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Gopalan Nadathur, Bharat Jayaraman, Keehang Kwon |
Scoping Constructs in Logic Programming: Implementation Problems and their Solutions. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur, Donald W. Loveland |
Uniform Proofs and Disjunctive Logic Programming (Extended Abstract) |
LICS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson |
Implementing Polymorphic Typing in a Logic Programming Language. |
Comput. Lang. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur |
A Proof Procedure for the Logic of Hereditary Harrop Formulas. |
J. Autom. Reasoning |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur, Frank Pfenning |
The Type System of a Higher-Order Logic Programming Language. |
Types in Logic Programming |
1992 |
DBLP BibTeX RDF |
|
| 1 | Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson |
Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. |
ELP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov |
Uniform Proofs as a Foundation for Logic Programming. |
Ann. Pure Appl. Logic |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Bharat Jayaraman, Gopalan Nadathur |
Implementation Techniques for Scoping Constructs in Logic Programming. |
ICLP |
1991 |
DBLP BibTeX RDF |
|
| 1 | Gopalan Nadathur, Dale Miller |
Higher-Order Horn Clauses |
J. ACM |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur, Debra Sue Wilson |
A Representation of Lambda Terms Suitable for Operations on Their Intensions. |
LISP and Functional Programming |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur, Bharat Jayaraman |
Towards a WAM Model for Lambda-Prolog. |
NACLP |
1989 |
DBLP BibTeX RDF |
|
| 1 | Amy P. Felty, Elsa L. Gunter, John Hannan, Dale Miller, Gopalan Nadathur, Andre Scedrov |
Lambda-Prolog: An Extended Logic Programming Language. |
CADE |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur, Dale Miller |
An Overview of Lambda-PROLOG. |
ICLP/SLP |
1988 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller, Gopalan Nadathur |
A Logic Programming Approach to Manipulating Formulas and Programs. |
SLP |
1987 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller, Gopalan Nadathur, Andre Scedrov |
Hereditary Harrop Formulas and Uniform Proof Systems |
LICS |
1987 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller, Gopalan Nadathur |
Some Uses of Higher-Order Logic in Computational Linguistics. |
ACL |
1986 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller, Gopalan Nadathur |
Higher-Order Logic Programming. |
ICLP |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Gopalan Nadathur, Aravind K. Joshi |
Mutual Beliefs in Conversational Systems: Their Role in Referring Expressions. |
IJCAI |
1983 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")