好书天下
数据结构(C++语言描述)
内容简介 本书从面向对象的视角介绍数据结构。内容从数据结构的基本原 理到面向对象程序设计的方法。书内使用适应面极广的C＋＋语言。全 书14章分别为：1绪论；2基本数据类型；3抽象数据类型与类；4. 集合类；5栈与队列；6.抽象运算符；7.类属数据类型；8.类与动态 存储；9链表；10递归；11树；12继承与抽象类；13先进的非线 性结构；14构建集合...
标签：types
The Little Typer
An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a langua...