TAPL読書会@名古屋 #1

Name: TAPL読書会@名古屋 #1
Start: 2014-08-02T14:00:00+09:00
End: 2014-08-02T17:00:00+09:00
Location: 名古屋市 短歌会館 1階 集会室

2014-08-02（土）14:00 - 17:00 JST

名古屋市中区錦2-13-22

申し込む

申し込み受付は終了しました

参加費無料

僕と一緒に型推論しませんか?

ScalaやF#やSML#などの静的型付き関数型言語の基礎になっている型理論についての勉強会です。

説明が丁寧で例が豊富な型システム入門をみんなで読みます。

型に興味のある人は誰でも歓迎です。

TAPLこと型システム入門を読む読書会です。