Milind Gandhe

Publication Activity (10 Years)

Years Active: 1989-1996
Publications (10 Years): 0

Publications

Milind Gandhe, G. Venkatesh, Amitabha Sanyal
Correcting Errors in the Curry System. FSTTCS (1996)
Milind Gandhe, G. Venkatesh, Amitabha Sanyal
Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract). ASIAN (1995)
Milind Gandhe, G. Venkatesh
Improving Prolog Performance by Inductive Proof Generalizations. KBCS (1989)