わざわざCardelliのものを読まなくても、
プログラミング言語の諸概念について一通り説明してあるような本なら、
型の意義等について載っているだろう。
そういう本は余り日本語では出てないと思うが、
英語では結構ある。