FOP - 第６章 金融取引契約の書き方

金融工学の世界に関数プログラミングで光を当てる．

1. 二分ヒープ木の楽しみ
2. 仕様に基づくテスト
3. おりがみプログラミング
4. Haskellで音楽を記述し解釈する
5. 融合変換を自動化する
6. 金融取引契約の書き方
7. 関数画像
8. Lava: 関数によるハードウェアの記述
9. 論理プログラミングのためのコンビネータ
10. アローと計算
11. もっと整ったプリティプリンタ
12. ファントム型を楽しむ