Strong Normalization of Polymorphic Calculus for Delimited Continuations

by Yukiyoshi Kameyama , Kenichi Asai

Document Versions

Strong Normalization of Polymorphic Calculus for Delimited Continuations –Yukiyoshi Kameyama, Kenichi Asai