type classA set of types for which certain operations or methods are defined. E.g. the class Number might have methods for addition and subtraction. Classes are a feature of object oriented languages and of the functional programming language Haskell. See also inheritance.
type assignment ♦ type class ♦ typed lambda-calculus ♦ TypedProlog
Try this search on Wikipedia, Wiktionary, Google, OneLook.