文件名称：Practical Foundations for Programming Languages
文件大小：2.04MB
文件格式：PDF
更新时间：2013-02-06 20:16:48
Programming Languages, type system
Practical Foundations for Programming Languages written by Robert Harper. This book covers more interesting parts than Benjamin's TAPL, such as concurrency and module systems, and it is interesting to read as an extension of TAPL.