metaclass
in a programming language, class whose instances are classes
axiom schema
a formula in the metalanguage of an axiomatic system in which one or more schematic variables appear
type class
type system construct for ad-hoc polymorphism
class
in object-oriented programming, a definition that specifies how an object works
classifier
concept in UML
behavior
part of UML