型システム入門
もしかして→TaPL