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] |