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