Practical_Foundations_for_Programming_Languages

此书主要介绍程序设计语言的基础，几乎涵盖了程序语言的方方面面，小到符号、异常，大到整个类型系统的设计、并行、并发语义的设计与实现。作者既然把这本书电子版直接放出来，至少说明他很自信这是一本好书，也很希望与更多喜欢该技术的人交流。我们也有充分的理由相信，这书值得一读。