Table of Contents
1. Introduction
2. General Features
3. Overloading
3.1. Automatic Conversions
3.2. Exact matching rule
3.3. Function hiding rule
3.4. Generic functions
3.5. Deduction of type variables
4. Scope
5. Type system