CPS transformation with affine types for call-by-value implicit polymorphism

Taro Sekiyama, Takeshi Tsukada. CPS transformation with affine types for call-by-value implicit polymorphism. Proceedings of the ACM on Programming Languages, 5(ICFP):1-30, 2021. [doi]

Abstract

Abstract is missing.