http://logic.cs.tsukuba.ac.jp/Continuation/program-j.html 浅井 健一 (お茶の水) Typing printf (継続を使った printf の型付け) Oleg Kiselyov (FNMOC) Demo of persistent delimited continuations in OCaml for nested web transactions (ネストした w…