2009 |
44 | EE | Andrew Gacek,
Dale Miller,
Gopalan Nadathur:
Reasoning in Abella about Structural Operational Semantics Specifications.
Electr. Notes Theor. Comput. Sci. 228: 85-100 (2009) |
2008 |
43 | EE | Andrew Gacek,
Dale Miller,
Gopalan Nadathur:
Combining Generic Judgments with Recursive Definitions.
LICS 2008: 33-44 |
42 | EE | Andrew Gacek,
Dale Miller,
Gopalan Nadathur:
Combining generic judgments with recursive definitions
CoRR abs/0802.0865: (2008) |
41 | EE | Andrew Gacek,
Dale Miller,
Gopalan Nadathur:
Reasoning in Abella about Structural Operational Semantics Specifications
CoRR abs/0804.3914: (2008) |
2007 |
40 | EE | David Baelde,
Andrew Gacek,
Dale Miller,
Gopalan Nadathur,
Alwen Tiu:
The Bedwyr System for Model Checking over Syntactic Expressions.
CADE 2007: 391-397 |
39 | EE | David Baelde,
Andrew Gacek,
Dale Miller,
Gopalan Nadathur,
Alwen Tiu:
The Bedwyr system for model checking over syntactic expressions
CoRR abs/cs/0702116: (2007) |
38 | EE | Andrew Gacek,
Gopalan Nadathur:
A Simplified Suspension Calculus and its Relationship to Other Explicit Substitution Calculi
CoRR abs/cs/0702152: (2007) |
2005 |
37 | EE | Radha Jagadeesan,
Gopalan Nadathur,
Vijay A. Saraswat:
Testing Concurrent Systems: An Interpretation of Intuitionistic Logic.
FSTTCS 2005: 517-528 |
36 | EE | Gopalan Nadathur,
Natalie Linnell:
Practical Higher-Order Pattern Unification with On-the-Fly Raising.
ICLP 2005: 371-386 |
35 | EE | Gopalan Nadathur,
Xiaochu Qi:
Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages.
LPAR 2005: 110-124 |
34 | EE | Gopalan Nadathur:
A treatment of higher-order features in logic programming.
TPLP 5(3): 305-354 (2005) |
2004 |
33 | EE | Gopalan Nadathur:
A treatment of higher-order features in logic programming
CoRR cs.PL/0404020: (2004) |
32 | EE | Chuck Liang,
Gopalan Nadathur,
Xiaochu Qi:
Choices in Representation and Reduction Strategies for Lambda Terms in Intensional Contexts.
J. Autom. Reasoning 33(2): 89-132 (2004) |
2003 |
31 | EE | Gopalan Nadathur,
Xiaochu Qi:
Explicit substitutions in the reduction of lambda terms.
PPDP 2003: 195-206 |
2002 |
30 | EE | Chuck Liang,
Gopalan Nadathur:
Tradeoffs in the Intensional Representation of Lambda Terms.
RTA 2002: 192-206 |
29 | EE | Gopalan Nadathur:
The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations.
Electr. Notes Theor. Comput. Sci. 67: (2002) |
2001 |
28 | EE | Gopalan Nadathur:
The Metalanguage lambda-Prolog and Its Implementation.
FLOPS 2001: 1-20 |
2000 |
27 | EE | Gopalan Nadathur:
Correspondences between classical, intuitionistic and uniform provability.
Theor. Comput. Sci. 232(1-2): 273-298 (2000) |
1999 |
26 | | Gopalan Nadathur:
Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29 - October 1, 1999, Proceedings
Springer 1999 |
25 | EE | Gopalan Nadathur,
Dustin J. Mitchell:
System Description: Teyjus - A Compiler and Abstract Machine Based Implementation of lambda-Prolog.
CADE 1999: 287-291 |
24 | | Gopalan Nadathur:
A Fine-Grained Notation for Lambda Terms and Its Use in Intensional Operations.
Journal of Functional and Logic Programming 1999(2): (1999) |
23 | | Gopalan Nadathur,
Guanshan Tong:
Realizing Modularity in lambdaProlog.
Journal of Functional and Logic Programming 1999(Special Issue 1): (1999) |
1998 |
22 | EE | Gopalan Nadathur:
Uniform Provability in Classical Logic
CoRR cs.LO/9809014: (1998) |
21 | EE | Gopalan Nadathur:
Correspondences between Classical, Intuitionistic and Uniform Provability
CoRR cs.LO/9809015: (1998) |
20 | EE | Gopalan Nadathur,
Bharat Jayaraman,
Keehang Kwon:
Scoping Constructs in Logic Programming: Implementation Problems and their Solution
CoRR cs.PL/9809016: (1998) |
19 | | Gopalan Nadathur:
Uniform Provability in Classical Logic.
J. Log. Comput. 8(2): 209-229 (1998) |
18 | EE | Gopalan Nadathur,
Debra Sue Wilson:
A Notation for Lambda Terms: A Generalization of Environments.
Theor. Comput. Sci. 198(1-2): 49-98 (1998) |
1995 |
17 | | Gopalan Nadathur,
Donald W. Loveland:
Uniform Proofs and Disjunctive Logic Programming (Extended Abstract)
LICS 1995: 148-155 |
16 | | Gopalan Nadathur,
Bharat Jayaraman,
Keehang Kwon:
Scoping Constructs in Logic Programming: Implementation Problems and their Solutions.
J. Log. Program. 25(2): 119-161 (1995) |
1994 |
15 | | Keehang Kwon,
Gopalan Nadathur,
Debra Sue Wilson:
Implementing Polymorphic Typing in a Logic Programming Language.
Comput. Lang. 20(1): 25-42 (1994) |
1993 |
14 | | Gopalan Nadathur:
A Proof Procedure for the Logic of Hereditary Harrop Formulas.
J. Autom. Reasoning 11(1): 115-145 (1993) |
1992 |
13 | | Keehang Kwon,
Gopalan Nadathur,
Debra Sue Wilson:
Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog.
ELP 1992: 359-393 |
12 | | Gopalan Nadathur,
Frank Pfenning:
The Type System of a Higher-Order Logic Programming Language.
Types in Logic Programming 1992: 245-283 |
1991 |
11 | | Bharat Jayaraman,
Gopalan Nadathur:
Implementation Techniques for Scoping Constructs in Logic Programming.
ICLP 1991: 871-886 |
10 | | Dale Miller,
Gopalan Nadathur,
Frank Pfenning,
Andre Scedrov:
Uniform Proofs as a Foundation for Logic Programming.
Ann. Pure Appl. Logic 51(1-2): 125-157 (1991) |
1990 |
9 | EE | Gopalan Nadathur,
Debra Sue Wilson:
A Representation of Lambda Terms Suitable for Operations on Their Intensions.
LISP and Functional Programming 1990: 341-348 |
8 | EE | Gopalan Nadathur,
Dale Miller:
Higher-Order Horn Clauses
J. ACM 37(4): 777-814 (1990) |
1989 |
7 | | Gopalan Nadathur,
Bharat Jayaraman:
Towards a WAM Model for Lambda-Prolog.
NACLP 1989: 1180-1198 |
1988 |
6 | | Amy P. Felty,
Elsa L. Gunter,
John Hannan,
Dale Miller,
Gopalan Nadathur,
Andre Scedrov:
Lambda-Prolog: An Extended Logic Programming Language.
CADE 1988: 754-755 |
5 | | Gopalan Nadathur,
Dale Miller:
An Overview of Lambda-PROLOG.
ICLP/SLP 1988: 810-827 |
1987 |
4 | | Dale Miller,
Gopalan Nadathur,
Andre Scedrov:
Hereditary Harrop Formulas and Uniform Proof Systems
LICS 1987: 98-105 |
3 | | Dale Miller,
Gopalan Nadathur:
A Logic Programming Approach to Manipulating Formulas and Programs.
SLP 1987: 379-388 |
1986 |
2 | | Dale Miller,
Gopalan Nadathur:
Higher-Order Logic Programming.
ICLP 1986: 448-462 |
1983 |
1 | | Gopalan Nadathur,
Aravind K. Joshi:
Mutual Beliefs in Conversational Systems: Their Role in Referring Expressions.
IJCAI 1983: 603-605 |