dblp.uni-trier.dewww.uni-trier.de

Milind Gandhe

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Amitabha Sanyal [2] [3]
2G. Venkatesh [1] [2] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)