OCamlAPISearchの紹介

13 years ago 718 Views

Proove Mark&Sweep GC with Coq

13 years ago 925 Views

CoqでGCの証明をしてみたよ(LT)

13 years ago 1033 Views