callcc + mutable cellによるshift/resetの実装

http://citeseer.ist.psu.edu/gasbichler02final.html
(via http://d.hatena.ne.jp/higepon/20080413/1208094761#c)

こんなところ(2節)にわかりやすい説明が! この発表はICFP 2002で聞いていて、自分の論文までreferされているのに、本文は読んでいませんでした…。Filinskiのオリジナル論文にも説明はあるんですが、そちらは私にはすぐにわかりませんでした(弱)。