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