2016-02-14から1日間の記事一覧

TAPL勉強会 1回目

友人宅で行われた、友人主催のTAPL(Types and Programming Language)の勉強会に行ってきました。 Types and Programming Languages作者: Benjamin C. Pierce出版社/メーカー: The MIT Press発売日: 2002/01/04メディア: ハードカバー購入: 5人 クリック: 8…