CoqでGCを証明してみたよ ( CSNagoya 第5回GC本読書会 vol.5)

CoqでGCを証明してみたよ ( CSNagoya 第5回GC本読書会 vol.5)

CSNagoya 第5回GC本読書会におけるid:mzp さんの発表です。スライド - http://d.hatena.ne.jp/mzp/20100808/gc みずぴー日記 - http://d.hatena.ne.jp/mzp/ CSNagoya - http://www.jamboree.jp/cs/

http://www.nicovideo.jp/watch/sm11698415