keigoi https://blog.hatena.ne.jp/keigoi/ keigoiの日記 https://keigoi.hatenadiary.org/ Haskell OCaml C++ Scala D # トラックバックをバラまいてしまいました m(_ _)m スミマセン…型レベルプログラミング会議 に行ってきました。 帰りの新幹線でこれを書いています。随時更新予定。 私の発表 最後の TCast がメインなのですがそれはソース参照 スライド1とHaskellソース http://www.agusa.i.is.nagoya-u.ac.jp/person/sydney/typelevel/ スライド2 http://www.itpl.co.jp/ocaml-nagoya/index.php?plugin=attach&refer=%B3%E8%C6%B0%B5%AD%CF%BF%2F20081… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkeigoi.hatenadiary.org%2Fentry%2F20090418%2F1240060720" title=" 型レベルプログラミング会議 - keigoiの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-04-18 22:18:40 rich https://keigoi.hatenadiary.org/entry/20090418/1240060720 1.0 100%