CPS transformation after strictness analysis (1992)

by O Danvy, J Hatcliff
Venue:ACM Letters on Programming Languages and Systems