com.thoughtworks.feature:selftype_sjs0.6_2.11 (maven): SelfType
Keywords: dependent-types|scala|type-level-programming