Verifying CPS transformations in Isabelle/HOL.

Yasuhiko Minamide, Koji Okuma

Browse the full ICFP paper archive.