Definitions from Wikipedia (Principal type)

▸ noun:  In type theory, a type system is said to have the principal type property if, given a term and an environment, there exists a principal type for this term in this environment, i.e. a type such that all other types for this term in this environment are an instance of the principal type.


▸ Words similar to principal type
▸ Usage examples for principal type

▸ Idioms related to principal type
▸ Wikipedia articles (New!)
▸ Words that often appear near principal type
▸ Rhymes of principal type

▸ Invented words related to principal type