TOP

TaPL 読書会 #3

イベント内容

内容

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

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

今回

今回は3章から

wow

持ち物

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

参加枠について

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

参加者
11人 /定員16人
申込先
会場
来栖川電算
名古屋市中区新栄1丁目29-23 アーバンドエル新栄2階

注目のイベント

タグに関連するイベント

2018/03/07(水) 19:00 〜 21:00
東京都 不動前
2018/02/27(火) 19:30 〜 21:00
東京都 広尾
2018/03/25(日) 13:30 〜 16:00
東京都 荻窪
2018/03/10(土) 14:00 〜 18:00

コラム

イベント

地域経済の活性化にもハッカー精神を。仙台がIT都市に変わる3つの兆し

近年日本では、IT産業を活性化させることで雇用を創出し、地域経済の活性化につなげようとしている地方自治...
299 views
イベント

エンタープライズシステム開発に「エコシステム」を導入した事例秘話 - Accenture Meetup -

2017年11月10日(金)19時30分より、「エンジニア向け/デジタル・エコシステムをつくり出す技術勉強会 - 大...
139 views
イベント

デジタルトランスフォーメーション時代の最新データベース技術勉強会 - DB進化論 -

2017年12月21日(木)19時10分より、「【エンジニア向け勉強会】デジタルトランスフォーメーション時代の最...
481 views