语义和类型系统

Yingfeng

来自: 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. 类型和程序设计语言

作者 : (美)皮尔斯
出版社 : 电子工业出版社

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

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

作者 : (美)斯科特
出版社 : 电子工业出版社

作者 : 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

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

Yingfeng的其他豆列 · · · · · · ( 更多 )