TAPL読書会@名古屋 #1

2014/08/02(土)14:00 〜 17:00 開催
ブックマーク

イベント内容

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

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

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

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

今回の内容

  • 1章 はじめに(さらっと)
  • 2章 数学的準備(もっとさらっと)
  • 3章 型無し算術式(マジメに読む)

持ち物

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
情報提供元ページ（Doorkeeper）へ