函数型なんたらの集い 2014 in Tokyo

函数型とかいうなんたらの集まり
函数プログラマの交流を目的として開催されている"函数プログラミングの集い" ── の外伝的な何かです。
本イベントは函数型なんたらという言葉にピンときた型々方々の交流を目的としています。

暫定タイムテーブル
11:30 - 11:40 挨拶と諸注意
11:40 - 12:05 エンジニアとモナド ruicc
12:05 - 12:30 C#の型システムで関数型的ななんかする its_out_of_tune
12:30 - 13:30 お昼休憩
13:30 - 13:55 C6H6+HNO3 blackenedgold
13:55 - 14:20 Haskell OSを作りたい(仮) mzp
14:30 - 14:55 F#で内部DSLと外部DSL作ってみた話 bleis-tift
14:55 - 15:20 今日からはじめるATSプログラミング masterq
15:30 - 15:55 Scalazもしくはshapelessとかの話(仮) xuwei_k
15:55 - 16:20 Hoogle for Java(仮) もがみ
16:30 - 16:55 型推論のはなしか論理プログラミングのはなし halcat0x15a
16:55 - 17:20 gakuzzzz
17:30 - 17:55 OCamlとUnicode - Camomile開発の話 Yoriyuki Yamagata
17:30 - 18:20 Pure boys script pab_tech