- CSB - MetaPress - Google - Bing - Yahoo
 | 1996 | |
|---|---|---|
| 3 |      | Milind Gandhe, G. Venkatesh, Amitabha Sanyal: Correcting Errors in the Curry System. FSTTCS 1996: 347-358 |
| 1995 | ||
| 2 |  | Milind Gandhe, G. Venkatesh, Amitabha Sanyal: Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). ASIAN 1995: 103-110 |
| 1989 | ||
| 1 | | Milind Gandhe, G. Venkatesh: Improving Prolog Performance by Inductive Proof Generalizations. KBCS 1989: 243-253 |
| 1 | Amitabha Sanyal | [2] [3] |
| 2 | G. Venkatesh | [1] [2] [3] |