这些讲义提供了类型理论在编程语言设计和实现中的作用的统一说明。 重点是将类型用作分析编程语言功能并研究其实现的工具。
AsthenumberofInternetusersonmobiledevicesisgrowingeverymoment,yourwebsitesarenolongerbuiltonlyforthe
REBOL Essentials rebol语言E文书 pdf
TwistedNetworkProgrammingEssentials2ndEditionBOOKDESCRIPTIONGetstartedwithTwisted,theevent-drivennet
学习形式语言和编译原理的很好的教材,非常经典,国外大学教授自己执笔写的教材,强烈推荐!
WGL文件的说明书,详细介绍了WGL文件的语法格式,可以用来进行参考,或将其转换为ATE测试机的标准格式文件
高清彩版ConceptsofProgrammingLanguages11thEdition
PracticalFoundationsforProgrammingLanguages(2nd)英文azw3第2版本资源转载自网络，如有侵权，请联系上传者或csdn删除本资源转载自网络，如有侵权，请联
国际软件工程和编程语言界的顶级会议，POPL 2011年的会议论文集。POPL通常被认为是软件方面最顶级的国际会议之一，对程序语言、软件工程、可信软件等方面的研究者具有很重要的参考意义。在07年的计算
中文完整带标签页高清版
用户评论