サクサク読めて、アプリ限定の機能も多数!
MsgPack for OCamlの裏側について話してきました。
mzp のブックマーク 2011/09/28 22:00
ProofSummit 2011 で『CoqによるMsgPackシリアライザの証明と実装』という話をしました。 - みずぴー日記[coq][proof][ocaml][msgpack]MsgPack for OCamlの裏側について話してきました。2011/09/28 22:00
このブックマークにはスターがありません。 最初のスターをつけてみよう!
mzp.hatenadiary.org2011/09/28
ProofSummit2011でMsgPackを証明したときの話をしてきました。内容は名古屋Reject会議で話したことを膨らませた感じになっています。 話の趣旨としては「バグって怖いじゃん → じゃあ証明しようぜ → やってみた」...
10 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
MsgPack for OCamlの裏側について話してきました。
mzp のブックマーク 2011/09/28 22:00
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ProofSummit 2011 で『CoqによるMsgPackシリアライザの証明と実装』という話をしました。 - みずぴー日記
mzp.hatenadiary.org2011/09/28
ProofSummit2011でMsgPackを証明したときの話をしてきました。内容は名古屋Reject会議で話したことを膨らませた感じになっています。 話の趣旨としては「バグって怖いじゃん → じゃあ証明しようぜ → やってみた」...
10 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /