04 June, 2011

[Coq] Type Class in Coq

 形式手法勉強会のFormal Methods Forum #16で、Monadを例にとってCoqでのtype-classを使い方を紹介しました。

 発表資料はhttp://www.slideshare.net/tmiya/typeclass
 練習課題の答えは、http://ideone.com/oANlm

です。

No comments: