principal type - The most general type of an expression. For example, the
following are all valid types for the lambda abstraction
(\ x . x):Int -> Int Bool -> Bool (a->b) -> (a->b) but any valid type will be an instance of the principal type: a -> a. An instance is derived by substituting the same type expression for all occurences of some type variable. The principal type of an expression can be computed from those of its subexpressions by Robinson's unification algorithm. |

Browse

Princified

Principal

Principal axes of a quadric

principal axis

Principal challenge

Principal contract

principal diagonal

Principal focus

principal investigator

Principal obligation

Principal of a quadric

Principal plane

Principal point

Principal ray

Principal section

principal sum

**-- principal type --**

Principality

Principality of Andorra

Principality of Liechtenstein

Principality of Monaco

Principally

Principalness

principalship

Principate

Principe

Principen

Principia

Principia data sequuntur concomitantia

Principia probant

Principial

Principiant

Principiate

Principal

Principal axes of a quadric

principal axis

Principal challenge

Principal contract

principal diagonal

Principal focus

principal investigator

Principal obligation

Principal of a quadric

Principal plane

Principal point

Principal ray

Principal section

principal sum

Principality

Principality of Andorra

Principality of Liechtenstein

Principality of Monaco

Principally

Principalness

principalship

Principate

Principe

Principen

Principia

Principia data sequuntur concomitantia

Principia probant

Principial

Principiant

Principiate