- 授权协议: Apache
- 开发语言: Python
- 操作系统: Linux
- 软件首页: http://code.google.com/p/cnprog/
软件介绍
CNProg 是一个面向中国程序员的开源技术问答社区。
一个介于论坛、博客、维基和Digg之间的社区系统，基于Python和Django开发。
具有透明、开放、全民管理的运作模式，让所有用户能够更加容易地寻求帮助，找到问题答案，解决实际的技术问题。
Types and Programming Languages
Benjamin C. Pierce / The MIT Press / 2002-2-1 / USD 95.00
A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of typ......一起来看看 《Types and Programming Languages》 这本书的介绍吧!
