TaPL 読書会 #6
2018/04/18(水)18:45
〜
20:45
開催
ブックマーク
イベント内容
内容
TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。
ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2
今回
今回は§3.5.12 評価の停止性より
持ち物
型システム入門 (無ければ隣の人に見せてもらえるかも)
参加枠について
"Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください
注意事項
※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
情報提供元ページ(connpass)へ
新規会員登録
このイベントに申し込むには会員登録が必要です。
アカウント登録済みの方はログインしてください。
※ ソーシャルアカウントで登録するとログインが簡単に行えます。
※ 連携したソーシャルアカウントは、会員登録完了後にいつでも変更できます。