This is an implementation of the polymorphic type system λ_{let}^{s/r}, which deals with the shift/reset operation and was proposed in:
K. Asai and Y. Kameyama. Polymorphic delimited continuations. In: Z. Shao (eds) APLAS'07 Proceedings of the 5th Asian Conference on Programming Languages and Systems, pp. 239-254, 2007.
$ polysr <an input file>