Noun
abstract type (plural abstract types) (software) a type in a nominative type system that cannot be instantiated.