A Type System for Dynamic Delimited Continuations. IPSJ Transactions on Programming, Information Processing Society of Japan, to appear. A Polymorphic Type System for shift/reset We define the type system for λ s/r let in [2] except the fixed point operat (0)

by T Yonezawa, Y Kameyama