Debra Sue Wilson

	1998
5		Gopalan Nadathur, Debra Sue Wilson: A Notation for Lambda Terms: A Generalization of Environments. Theor. Comput. Sci. 198(1-2): 49-98 (1998)
	1995
4		Donald W. Loveland, David W. Reed, Debra Sue Wilson: SATCHMORE: SATCHMO with REIevancy. J. Autom. Reasoning 14(2): 325-351 (1995)
	1994
3		Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson: Implementing Polymorphic Typing in a Logic Programming Language. Comput. Lang. 20(1): 25-42 (1994)
	1992
2		Keehang Kwon, Gopalan Nadathur, Debra Sue Wilson: Implementing a Notion of Modules in the Logic Programming Language Lambda-Prolog. ELP 1992: 359-393
	1990
1		Gopalan Nadathur, Debra Sue Wilson: A Representation of Lambda Terms Suitable for Operations on Their Intensions. LISP and Functional Programming 1990: 341-348

Coauthor Index

1	Keehang Kwon	[2] [3]
2	Donald W. Loveland	[4]
3	Gopalan Nadathur	[1] [2] [3] [5]
4	David W. Reed	[4]