Milind Gandhe

According to our database, Milind Gandhe authored at least 3 papers between 1989 and 1996.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1996

Correcting Errors in the Curry System.

Milind Gandhe, G. Venkatesh, Amitabha Sanyal

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995

Labeled Lambda-Calculus and a Generalized Notion of Strictness (An Extended Abstract).

Milind Gandhe, G. Venkatesh, Amitabha Sanyal

Proceedings of the Algorithms, 1995

1989

Improving Prolog Performance by Inductive Proof Generalizations.

Milind Gandhe, G. Venkatesh

Proceedings of the Knowledge Based Computer Systems, 1989