principal type

Also found in: Wikipedia

0.01 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.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		References in periodicals archive	?		Encyclopedia browser	?		Full browser	?
No references found			The principal types of insulation are associated the principal types of thermal transfer: * Reflectors are used to reduce the transfer of radiant heat. Insulation- What Every Man Needs to Know by Jeremy Stone / Home based business community 00 Paperback F1435 Love describes six principal types of ritual practice used by local village shamans in the Mayan-speaking Mexican peninsula of Yucatan to mediate between villagers and the spirit world. Maya Shamanism today; connecting with the cosmos in rural Yucatan by Reference & Research Book News			principal meridian principal mode principal moments principal normal principal normal indicatrix principal normal section principal part principal plane principal plane of stress principal point principal post principal purlin principal quantum number principal radii principal radii of normal curvature principal rafter principal rafter roof principal ray principal roof principal root principal section principal series principal strain principal stress principal submatrix principal type principal value principal vertical circle principal visual ray Principality Principate Principe Príncipe Principle Principle of Abstraction principle of coincidence principle of covariance principle of dichotomy principle of duality principle of dynamical similarity principle of equivalence principle of inaccessibility principle of indeterminacy principle of insufficient reason principle of least action principle of optimality principle of reciprocity principle of superposition principle of the maximum principle of the minimum principle of uniformity			Principal square root Principal square root Principal Staff Assistant Principal Staff Element Principal State of Polarization Principal State School Trust Fund Principal stockholder Principal Stockholders principal strain principal stress principal submatrix principal subordinate command Principal Subordinate Commanders principal sum principal sum principal sum principal sum principal sum Principal Sums principal support principal supporter principal sustainer Principal Teacher Principal Technical Advisor Principal Tensile Stress principal thoroughfare Principal trade Principal Trading Standards Officer Principal Transform Displacement Zone principal type Principal User Processor Principal value principal vertical principal vertical circle principal visual ray Principal Warfare Commander Principal Warfare Officer Principal Young Investigator Principal's Leadership Award Principal's Project Requirements Principal, Interest & Taxes Principal, Interest, Mortgage Insurance Principal, Interest, Taxes and Insurance Principal, Interest, Taxes and Insurance Payment Principal, Interest, Taxes and Insurance Payments Principal, Interest, Taxes, and Insurance Principal, Interest, Taxes, and Insurance principal, interest, taxes, and insurance payment Principal, Interest, Taxes, and Insurance Payments Principal, Interest, Taxes, Condo fees, Heat Principal, Interest, Taxes, Heat Principal, Interest, Taxes, Insurance Principal-agent problem Principal-agent relationship principal-assistant practice principal-assistant practice principal-assistant practice principal-assistant practice

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
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.