AJ89] Andrew Appel and Trevor Jim. Continuation-passing, closure-passing style (1987)

by Technical report, IBM
Venue:In 16 th Symp. Principles of Programming Languages