型システム入門

TAPLの日本語訳の本の名前らしい。型システムのしくみと良く間違える。