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