Kenichi Asai Online partial evaluation for shift and reset. 19-30 2002 PEPM http://doi.acm.org/10.1145/503032.503034 db/conf/pepm/pepm2002.html#Asai02