Shin-ya Nishizaki. ML Polymorphism of Linear Lambda Calculus with First-class Continuations. In Proceedings of the 8th International Conference on Software and Computer Applications, ICSCA '19, Penang, Malaysia, February 19-21, 2019. pages 189-193, ACM, 2019. [doi]
Abstract is missing.