Tim Sheard Nathan Linger Search-based binding time analysis using type-directed pruning. 20-31 2002 ASIA-PEPM http://doi.acm.org/10.1145/568173.568176 db/conf/pepm/asiapepm2002.html#SheardL02