Graded Monad とエフェクト

Posted on 木 06 6月 2019 in 数学 • Tagged with 圏論, エフェクトシステム, モナド, プログラム意味論

graded monad について聞きかじって，色々調べたのでそのメモ． graded monad はエフェクトシステムの categorical semantics 作るときに使われてるらしい．エフェクトシステ …


Continue reading