Debra Sue Wilson

According to our database, Debra Sue Wilson authored at least 5 papers between 1990 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

A Notation for Lambda Terms: A Generalization of Environments.

Gopalan Nadathur, Debra Sue Wilson

Theor. Comput. Sci., 1998

1995

SATCHMORE: SATCHMO with REIevancy.

Donald W. Loveland, David W. Reed, Debra Sue Wilson

J. Autom. Reason., 1995

1994

Implementing Polymorphic Typing in a Logic Programming Language.

Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson

Comput. Lang., 1994

1992

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

Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

1990

A Representation of Lambda Terms Suitable for Operations on Their Intensions.

Gopalan Nadathur, Debra Sue Wilson

Proceedings of the 1990 ACM Conference on LISP and Functional Programming, 1990