| file | subject |
| arith.cc | use case of the curiously recurring template pattern (section 1) |
| limitation.cc | limitation of the pattern (section 2.1) |
| sample.cc | simple example of a recurring hierarchy (section 2.3) |
| type.hh | meta-programming equipment (section 2.4) |
| binary.cc | handling binary methods (section 3.1) |
| fbound.cc | an F-bound-like quantification (section 3.2) |
| covariant.cc | handling covariant methods (section 3.3) |
| virtualtype.cc | handling virtual types (section 3.4) |