| |
| 1998 | ||
|---|---|---|
| 5 | 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 | ||
| 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 | EE | Gopalan Nadathur, Debra Sue Wilson: A Representation of Lambda Terms Suitable for Operations on Their Intensions. LISP and Functional Programming 1990: 341-348 |
| 1 | Keehang Kwon | [2] [3] |
| 2 | Donald W. Loveland | [4] |
| 3 | Gopalan Nadathur | [1] [2] [3] [5] |
| 4 | David W. Reed | [4] |