イベントの説明
内容
TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。
ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2
今回
第11章 単純な拡張
持ち物
型システム入門 (無ければ隣の人に見せてもらえるかも)
参加枠について
"Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください
資料 資料をもっと見る/編集する
資料が投稿されると、最新の3件が表示されます。