>>467
SML入門は至って普通の言語入門本だと思うけど。
「プログラミング言語の基礎理論」は確かにむつかしいが、こっちはスレ違いだ。