[[ocaml-nagoya]] #contents * [[OCamlDuce]]でRSSリーダを [#a81e396f] - 日時: 2007/10/1 - 発表者: みずの - 内容: [[OCamlDuce]]の文法とか - 資料: &ref(ocamlduce.pdf); * 論理と証明 - 安全なWebアプリケーションのために [#r3c75e9f] - 日時: 2007/9/20 - 発表者: よしひろ - 内容: Webアプリに便利な関数の実装と証明をデモンストレーション - 資料: -- (* Logic_and_Proof_for_Webapplications.pdf.zip *)) -- &ref(Logic_and_Proof_for_Webapplications.zip); -- &ref(30分で習得するCoq[資料1].html); -- &ref(30分で習得するCoq[資料2].html); * オブジェクト指向言語モデルFJのラムダ計算への埋め込み [#lfa64934] * オブジェクト指向言語モデルFJのラムダ計算への埋め込みとそれを使った構造的部分型の導入 [#lfa64934] - 日時: 2009/12/15 - 発表者: yoshihiro503 - 資料: &ref(doc.pdf); &ref(doc2.pdf);