Table of contents Introduction Overview Type System Types Bindings Functions Generics Concurrency Modules Grammar Examples