Verifying the CPS Transformation in Isabelle/HOL.

Yasuhiko Minamide, Koji Okuma

Browse the full APLAS paper archive.