00:32:57

ICFP

00:54:45

Build Systems à la Carte - Haskellによるビルドシステムのモデル化

01:49:01

Functional Programming for Compiling and Decompiling Computer-Aided Design - 3Dモデルのメッシュを宣言的なDSLにデコンパイルして、簡単に編集できるようにする

03:57:58

Reasonably Programmable Literal Notation - 型付きのリテラルをメンテナンス可能な形で定義するためのReasonライブラリ

05:04:22

Program Constructionセッションは事前知識が足りなすぎて全然分からなかった

09:38:40
15:58:57

中野さん

23:06:20

ICFP会場、昨日よりエアコンの設定温度が上がってる雰囲気