Chapter 14: Implicit Coercions
Amokrane Saïbi- 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