Masahiro Sakai @masahiro_sakai
『抽象によるソフトウェア設計』『型システム入門』共訳者。Haskeller。圏論。ねもい。http://msakai.jp/d/ や http://google.com/+MasahiroSakai などにも書いています。 Ingress(緑)はmsakai。
-
Coqで圏論の会
4040pv 9 -
型とクラスと集合と
4795pv 23 7 users -
正格性解析 (Strictness Analysis) への反応
3041pv 6 3 users