Sergey Goncharov

堅牢で信頼性のあるアプリケーションを作るための重要なプログラミングコンセプトを探ろう。

この論文は、プログラミングにおける非決定的な反復へのアプローチをカテゴリー理論で統一してるよ。