Chiyan Chen Hongwei Xi Implementing typeful program transformations. 20-28 2003 conf/pepm/2003 PEPM http://doi.acm.org/10.1145/777388.777392 db/conf/pepm/pepm2003.html#ChenX03