CPS変換と例外処理

yharaさんの、

CPS使うコンパイラとか参考にならないかなぁ＞例外処理

はてなブックマーク - 試作言語Yellow - takuto_hの日記

という助言を元に探してみたところ、そのものずばりの論文が見つかりました。

例外処理機構を備えた命令型言語のCPS変換とその定式化

操作的意味論の部分は私にはまだ理解できませんが、それ以外はとてもわかりやすく、興味深いです。

yharaさん、ありがとうございます。