Martin Odersky's Functional Programming Principles in Scala