Go up to
Language Support
Go forward to
Generative Programming Support
Generic Programming Support
Project: design a language suitable for generic programming
[Stepanov]