Reasoning with continuations (1986)

by Matthias Felleisen, Daniel P Friedman, Eugene Kohlbecker, Bruce Duba
Venue:In Proc. of 1st Ann. IEEE Symp. on Logic in Computer Science, LICS’86