Types.And.Programming.Languages
[麻省理工出版社丛书].MIT.Press.-.Types.And.Programming.Languages.(Ml,.Functional.Languages).-.2002.chm
下载地址
用户评论
不错。可惜页数没有pdf版的多，这个只有200多页。