语义和类型系统

来自: Yingfeng
创建时间: 2008-09-27 14:09:43　

我不喜欢

共 8 个条目· · · · · ·

2008-09-27 14:09:43添加 1. The Annotated Turing

作者 : Charles Petzold

2008-09-27 14:11:34添加 2. 程序设计语言理论基础

作者 : （美）米切尔
出版社 : 电子工业出版社

2008-09-27 14:12:02添加 3. 类型和程序设计语言

作者 : （美）皮尔斯
出版社 : 电子工业出版社

2008-09-27 14:12:16添加 4. 计算机程序的构造和解释(原书第2版)

作者 : Harold Abelson/Gerald Jay Sussman/Julie Sussman
出版社 : 机械工业出版社

2008-10-01 09:04:29添加 5. 程序设计语言：实践之路（第2版）

作者 : （美）斯科特
出版社 : 电子工业出版社

2008-12-02 10:17:43添加 6. Concepts, Techniques, and Models of Computer Programming

作者 : Peter Van Roy/Seif Haridi
出版社 : The MIT Press

2008-12-02 20:48:04添加 7. Types and Programming Languages

作者 : Benjamin C. Pierce
出版社 : The MIT Press

2008-12-25 09:35:21添加 8. Advanced Topics in Types and Programming Languages

作者 : Pierce, Benjamin C. (EDT)
出版社 : The MIT Press