Advanced Scala Chapters
Dependent Types
Generics of Higher Kind
Type lambdas
Parser Combinators
Streams