2006-08-15 Types and Programming Languages (The MIT Press) プログラミング ということで、16章読了。 16章は、Exerciseの解説も含めて19ページでした。