Concepedia

Debra Sue Wilson

DS

Statistics

Publications

4

Citations

129

H-Index

4

Active since

1990

Affiliations

Duke University(Current)

Debra Sue Wilson is an author at Duke University specializing in computing, syntax, and lambda calculus.

Publications per year

1990–1998

4

Publications

4

SATCHMORE: SATCHMO with RElevancy

Donald Loveland, David Reed, Debra Sue Wilson · Journal of Automated Reasoning · 1995 · 50 citations

, , +2

A notation for lambda terms a generalization of environments

Gopalan Nadathur, Debra Sue Wilson · Theoretical Computer Science · 1998 · 41 citations

, , +4

A representation of Lambda terms suitable for operations on their intensions

Gopalan Nadathur, Debra Sue Wilson · 1990 · 25 citations · Full text

, , +12

Implementing polymorphic typing in a logic programming language

Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson · Computer Languages · 1994 · 13 citations

, , +13

1–4 of 4