Finally, we give an implementation in the tagless-final style which respects typing by construction.
Ikuo Kobori, Yukiyoshi Kameyama, Oleg Kiselyov 2016, 'Answer-Type Modification without Tears: Prompt-Passing Style Translation for TypedDelimited-Control Operators', Electronic Proceedings in Theoretical Computer Sciencehttp://arxiv.org/pdf/1606.06379v1. Retrieved from DOAJ CC BY 4.0 (https://creativecommons.org/licenses/by-sa/4.0/legalcode)