程序设计语言理论

本书以类型系统为中心来开展程序设计语言的研究,除了由浅入深地介绍各种类型系统外,还讨论相应程序设计语...

2010.1