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

by L Ong, C Stewart
Venue:In Proceedings of the 24th Annual ACM Symposium on Principles of Programming Languages