Chapter 14: Implicit Coercions

• 14.1 General Presentation
• 14.2 Classes
• 14.3 Coercions
• 14.4 Inheritance Graph
• 14.5 Commands
• 14.6 Coercions and Pretty-Printing
• 14.7 Inheritance Mechanism -- Examples
• 14.8 Classes as Records
• 14.9 Coercions and Sections
• 14.10 Examples