Chapter 12
- Scala.collection
- like traits
- specialization fro value types
- miniboxin
Chapter 13
- Visibility (public, protected, private)
- Scope visibility
Chapter 14
- Parameterized types
- Variance annotations
- type constructors
- type parameter names
- type bounds
- abstract types
- sel-type annotations
- structural types
- compound types
Chapter 15
- path-dependent types
- .this,.super, path.x
- dependent method types
- type projections
- singleton types
- types for values
- function types
- lambdas
- self recursive types