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]

Authors

Taro Sekiyama

This author has not been identified. Look up 'Taro Sekiyama' in Google

Takeshi Tsukada

This author has not been identified. Look up 'Takeshi Tsukada' in Google