TaPL 読書会 #10

2018/07/18(水)18:45 〜 20:45 開催
ブックマーク
読書会

イベント内容

内容

TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。

ビデオ閲覧申請： https://goo.gl/forms/ej6VXirPIE5mWZdu2

今回

Chapter 9 単純型付ラムダ計算から

持ち物

型システム入門 （無ければ隣の人に見せてもらえるかも）

参加枠について

"Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください

注意事項

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