The BookList of Programming Language
2004-06-23 14:05
141 查看
The BookList of Programming Language
Newbie's:
1.Programming Languages:Design and Implementation Fourth Edition
by Terrence W.Pratt Marvin V.Zelkowitz
2.Programming Languages:Concepts & Constructs by Ravi Sethi
3.Structure and Interpretation of Computer Programs
Primer:
4.Types and Programming Languages by Benjamin C. Pierce
5.Foundations of Object-Oriented Languages: Types and Semantics by Kim B. Bruce
6.Foundations for Programming Languages by John C. Mitchell
Advanced:
7.The FormalSemantics of Programming Languages by Glynn Winskel
8.Advanced Topic in Type System and Programming Languages by Benjamin C. Pierce
9.Semantics of Programming Languages by Andrew M. Pitts
Newbie's:
1.Programming Languages:Design and Implementation Fourth Edition
by Terrence W.Pratt Marvin V.Zelkowitz
2.Programming Languages:Concepts & Constructs by Ravi Sethi
3.Structure and Interpretation of Computer Programs
Primer:
4.Types and Programming Languages by Benjamin C. Pierce
5.Foundations of Object-Oriented Languages: Types and Semantics by Kim B. Bruce
6.Foundations for Programming Languages by John C. Mitchell
Advanced:
7.The FormalSemantics of Programming Languages by Glynn Winskel
8.Advanced Topic in Type System and Programming Languages by Benjamin C. Pierce
9.Semantics of Programming Languages by Andrew M. Pitts
相关文章推荐
- 怎样知道你的程序是运行在安全模式呢?
- 左键也能弹出菜单
- 几个 WMI 的例子(初级) - 2
- 几个 WMI 的例子(初级) - 4
- boost::any
- Linux2.4.18内核下基于LKM的系统调用劫持
- 五种DSN的使用方法
- Detour(下)
- Web Service描述语言 WSDL 详解(1)
- Web Service描述语言 WSDL 详解(2)
- .NET框架以及在C++中的初步应用
- 在ASP中取得服务器网卡的MAC地址、DNS地址等网络信息
- 数据结构与算法(C#实现)系列---演示篇(一)
- 数据结构与算法(C#实现)系列---AVLTree(一)
- 数据结构与算法(C#实现)系列---二叉堆(数组实现)
- 在应用程序中将OJB作为一个存储层使用(五)
- Sun 重整软件战略(En)
- iis漏洞检查
- C#重点知识详解(五 代理:一)
- WinForm中类似WebForm中的CheckBoxList控件