PL/M 语言是 Intel 公司的产品，是一个古懂而又优秀的程序设计语言。目前很难见到她的资料。8096 不愧是 Intel 的大家之作，设计还是相当有水平的，PLM 96 也是相当不错的高级语言

Java程序设计语言网络化课程资源建设探索.pdf

学堂在线郑莉《c++程序设计语言》(基础和进阶)的编程作业题

c++之父编的那本c++课后习题的参考答案

本书是与Bjarne+Stroustrup的《C++程序设计语言》配套使用的习题答案

程序设计语言：原理与实践（第二版） （美）Kenneth C.Louden著

C语言创始人的经典著作，C语言的圣经。这是完整的中文版本，从第一章到第八章都有，另外还有附录。阅读时可以下载BooX Viewer来阅读

ISO/IEC 8652:20121995(E)

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究人员和开发人员，以及程序设计语言和类型理论的研究人员阅读。可作为计算机专业高年级学生、研究生的学习教材。 ------------------------------- P.S. 中文版翻译质量一般，建议同时参考英文版阅读

书名：C程序设计语言（第二版） 格式：*.pdf 作者：Brian W. Kernighan & Dennis M. Ritchie 翻译：徐宝文 李志