Deepak Mathaikutty Sandeep K. Shukla Type Inference for IP Composition. 61-70 2007 conf/memocode/2007 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2007.371248 db/conf/memocode/memocode2007.html#MathaikuttyS07