Debra Sue Wilson

A Notation for Lambda Terms: A Generalization of Environments

Gopalan Nadathur, Debra Sue Wilson, G. Nadathur, 1998, Theor. Comput. Sci..

SATCHMORE: SATCHMO with RElevancy

David W. Reed, Donald W. Loveland, Debra Sue Wilson, 1995, Journal of Automated Reasoning.

Implementing Logic Programming Languages with Polymorphic Typing

Gopalan Nadathur, Keehang Kwon, Debra Sue Wilson, 1991 .

Implementing Polymorphic Typing in a Logic Programming Language

Gopalan Nadathur, Keehang Kwon, Debra Sue Wilson, 1994, Comput. Lang..

Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog

Gopalan Nadathur, Keehang Kwon, Debra Sue Wilson, 1992, ELP.

A representation of Lambda terms suitable for operations on their intensions

Gopalan Nadathur, Debra Sue Wilson, G. Nadathur, 1990, LISP and Functional Programming.

A Notation for Lambda Terms I: a Generalization of Environments a Notation for Lambda Terms I: a Generalization of Environments

Gopalan Nadathur, Debra Sue Wilson, G. Nadathur, 1994 .