A Curry-Howard foundation for functional computation with control (1997)

by C-H L Ong, C A Stewart
Venue:In Proceedings of the 24th Annual ACM Symposium on Principles Of Programming Languages (POPL’97