Академическое изложение теории типов, довольно сложный математический аппарат. Книга скорее ориентирована на теорию, чем на практическое применение, но есть интересные темы о классификации типов и видах полиморфизма.
10. Эванс Эрик. Предметно-ориентированное проектирование (DDD): структуризация сложных программных систем. М., Вильямс, 2011. – 448 с.
Описаны фундаментальные принципы трансляции предметной области в программные модели, чем, в общем-то, в той или иной степени занимается каждый разработчик.
11. Lambda Expressions in C++.
https://docs.microsoft.com/en-us/cpp/cpp/lambda-expressions-in-cpp?view=vs-2019
Кратко и наглядно описан синтаксис лямбда-выражений.
12. Template Specialization (C++).
https://docs.microsoft.com/en-us/cpp/cpp/template-specialization-cpp?view=vs-2019
Множество развернутых примеров, демонстрирующих использование частичной специализацию шаблонов.