A curry-howard foundation for functional computation with control (1997)

by C-H L Ong, C A Stewart
Venue:In Proc. of Symposium on Principles of Programming Languages (POPL’97