イベントページ

• TaPL読書会　第8回(Partake)

スケジュール

• 11月7日(水) 19:30 ~ 21:30 ＠ワークスアプリケーションズ(虎ノ門)

資料

発表資料

• 13章

Ustream（録画）

• 演習問題、発表

9,11章の問題-解答編

exercise 11.11.2 by @seizans

13章 store と location

13章 ! と := の評価

13章 ref の評価

13章 locationの型

13章 well-typed store

13章 preservation (E-REFV)

議事録

Togetter

Blog

#前回 7

次回

9