Seth Fogarty Emir Pasalic Jeremy G. Siek Walid Taha Concoqtion: indexed types now! 112-121 2007 conf/pepm/2007 PEPM http://doi.acm.org/10.1145/1244381.1244400 db/conf/pepm/pepm2007.html#FogartyPST07