Concept Parameters: Language Support for Generic Programming in Object-Oriented Languages (2014–2017)

Concepts (like C++0x concepts, Haskell type classes, or Java Genus constraints) encapsulate constraints on type parameters. Together with multiple models, concept parameters can provide OO languages with more expressive language mechanism of generic programming than the existing one based on F-bounded polymorphism.

TBD

Концепт-параметры: языковая поддержка обобщённого программирования в объектно-ориентированных языках

TBD or here