Java语言的类型系统

- Lecture Notes onObject-Oriented Programming & Designhttp://www.cs.sysu.edu.cn/~lwj/object-oriented