Reasoning with continuations (1986)

by M Felleisen, D Friedman, E Kohlbecker, B Duba
Venue:In 1st Symposium on Logic and Computer Science. IEEE