Improving Prolog Performance by Inductive Proof Generalizations. - Milind Gandhe; G. Venkatesh (KBCS, 1989)

Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). - Milind Gandhe; G. Venkatesh; Amitabha Sanyal (ASIAN, 1995)

Correcting Errors in the Curry System. - Milind Gandhe; G. Venkatesh; Amitabha Sanyal (FSTTCS, 1996)