Modular rollback through control logging: a pair of twin functional pearls.

Olin Shivers, Aaron Joseph Turon

Browse the full ICFP paper archive.