Sicss Society Public Events by connpass


開催する勉強会

5/23 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Events
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2 今回 今回は第5章: The untyped Lambda-Calculus 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください


過去の勉強会

4/18 (水)

50a44fe02b59d3bb9a33132348195c8f Sicss Society Public Events
証明中心でピアスの型システム入門を読む会
内容 TaPL (型システム入門) をみんなで読みましょう。 実装はあまりやらずに主に証明を中心に読み進めます。 ビデオ閲覧申請: https://goo.gl/forms/ej6VXirPIE5mWZdu2 今回 今回は§3.5.12 評価の停止性より 持ち物 型システム入門 (無ければ隣の人に見せてもらえるかも) 参加枠について "Sicss Society枠"はサークル関係者のための枠です。 よくわからない方は一般枠からお申し込みください