![]() | ![]() |
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] |