SID # 9 (draft) - Scala Specialization

Scala 2.8 adds specialized type parameters. A specialized type parameter instructs the compiler to generate a generic version and a number of specialized versions of the given definition, and use the most specific version whenever the static type information at a call site allows it.

Document: 

sid-spec.pdf