Functional languages
Java platform
Scala
Martin Odersky
Uniqueness quantification
Reference
Computing
Software engineering
Computer programming