A new one-pass transformation into monadic normal form (2003)

by O Danvy
Venue:In CC, volume 2622 of LNCS