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