Verifying Selective CPS Transformation for Shift and Reset

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-030-47147-7_3 ◽

2020 ◽

pp. 38-57

Author(s):

Chiaki Ishio ◽

Kenichi Asai

Download Full-text