CPS transformation after strictness analysis (1993)

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