23/12/2013
Danko Ilik

ERRATA for "Type Directed Partial Evaluation for Level-1 Shift and
Reset", Electronic Proceedings in Theoretical Computer Science 127,
2013

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Contrary to what is currently suggested in Subsection 3.2, for
call-by-value, and for the given examples, the usual equational theory
and the one induced by TDPE do not diverge.

A big thanks to Dariusz Biernacki, Serguei Lenglet, and Masahito
Hasegawa, for making me realize that.

A corrected version will soon be posted on Arxiv.

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~