Revision b9ffce2b3f4fbdc0223b62ebb873272e548b93ce

Front Page

第2回 TAPL-nagoya 勉強会

第1回 TAPL-nagoya 勉強会

型とプログラミング言語を勉強しましょう

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

英語ですが、説明が丁寧で例が豊富なTAPLをみんなで読みます。

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

場所・時間

  • 毎月 第二土曜日 14:00〜17:00
  • 場所は検討中(名古屋市内の予定)

進め方

(検討中)

持ち物

  • TAPL本体
  • (好みに応じて)ノートPC
  • (好みに応じて)紙と鉛筆