Typing control operators in the CPS hierarchy (Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming)