A Type System for Dynamic Delimited Continuations

Cached

Download Links

by Takuo Yonezawa , Yukiyoshi Kameyama