Kenichi Asai Offline partial evaluation for shift and reset. 3-14 2004 conf/pepm/2004 PEPM http://doi.acm.org/10.1145/1014007.1014009 db/conf/pepm/pepm2004.html#Asai04