![[PukiWiki]](image/caml3.jpg "[PukiWiki]")
トップページ
OCaml Tips
- モジュールシステム紹介
- let多相紹介
- ヘテロなリスト
- 幽霊型
- OCamlでモナド
- 再帰型(Equi-recursive)
- サンタクロース問題
- デーモンの例
- Expression Problem
- ivarの必要性
- OSC2008In名古屋
ネタ記録庫
関数型言語によるWeb開発
ScalaByExample(訳)
限定継続
お勉強リンク
発表資料
活動記録
最新の20件
2016-02-23
2015-05-06
2015-05-04
2014-03-12
2012-05-22
2012-03-16
2012-03-03
2012-02-27
2012-02-03
2011-12-28
2011-12-10
2011-10-10
2011-09-29
2011-09-28
Thanks
OCamlDuce?でRSSリーダを †
- 日時: 2007/10/1
- 発表者: みずの
- 内容: OCamlDuce?の文法とか
- 資料:
ocamlduce.pdf
論理と証明 - 安全なWebアプリケーションのために †
- 日時: 2007/9/20
- 発表者: よしひろ
- 内容: Webアプリに便利な関数の実装と証明をデモンストレーション
- 資料:
- (* Logic_and_Proof_for_Webapplications.pdf.zip *))
- Logic_and_Proof_for_Webapplications.zip
- 30分で習得するCoq[資料1].html
- 30分で習得するCoq[資料2].html
オブジェクト指向言語モデルFJのラムダ計算への埋め込みとそれを使った構造的部分型の導入 †
添付ファイル:
doc2.pdf 1674件
[詳細]
doc.pdf 2114件
[詳細]
Logic_and_Proof_for_Webapplications.zip 1552件
[詳細]
30分で習得するCoq[資料2].html 2800件
[詳細]
ocamlduce.pdf 2433件
[詳細]
30分で習得するCoq[資料1].html 3483件
[詳細]
