Selective CPS transformation for shift and reset.

Kenichi Asai, Chihiro Uehara

Browse the full PEPM paper archive.