2011-06-04から1日間の記事一覧
CoqでMonad 当日発表資料 http://study-func-prog.blogspot.com/2011/06/coq-type-class-in-coq.html Polymorphism "On Understanding Types, Data Abstruction, and Polymorphism" adhoc polymorphismで実装 モナド 「不完全にしておよそ正しくないプログラ…
CoqでMonad 当日発表資料 http://study-func-prog.blogspot.com/2011/06/coq-type-class-in-coq.html Polymorphism "On Understanding Types, Data Abstruction, and Polymorphism" adhoc polymorphismで実装 モナド 「不完全にしておよそ正しくないプログラ…