PS

Continuation monads in String diagrams

Evaluation

f:id:mbps:20151013003634p:plain

Continuation monad

Flip bijection を使って・・・

f:id:mbps:20151013003639p:plain

callCC

f:id:mbps:20151013004753p:plain

・・・かえって分かりにくい。

参考文献