On the Idempotence of the CPS Transformation (1996)

by Olivier Danvy , Karoline Malmkjær
Venue:THE JOURNAL OF FUNCTIONAL PROGRAMMING.REVISED VERSION OF BRICS