Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
1,802,007,987 visitors served.
forum mailing list For webmasters
?
New: Language forums
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

principal type

   Also found in: Wikipedia 0.04 sec.
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.


How to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link
 Email
Feedback
? Mentioned in ? References in periodicals archive
 
However, the principal type of rigour that the book inspires is the type known as mortis.
A Poverty of Reason: Sustainable Development and Economic Growth by Chesworth, Ward / Geoscience Canada
The nature of the principal type 1 interferon-producing cells in human blood.
Interferon-producing plasmacytoid dendritic cells and the ... by Siegal, Frederick / Research Initiative/Treatment Action!
It is stated that "stained glass copied the formal vocabulary and subject matter of altarpieces, the principal type of sacred decoration" (30).
Made in Flanders: The Master of the Ghent Privileges and Manuscript ... by Harbison, Craig / Renaissance Quarterly
More results
 
Encyclopedia browser? ? Full browser
 
 
Encyclopedia
?

Disclaimer | Privacy policy | Feedback | Copyright © 2009 Farlex, Inc.
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. Terms of Use.