Deriving target code a.a a representation of continuation semantics (1982)

by M Wand
Venue:ACM TOPLAS