type scheme

0.01 sec.

type scheme - A typing of an expression which may include type variables. E.g.

\ x . x :: a -> a

where a is a generic type variable which may be instantiated to any type.

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 credit union type scheme, managed by the UK-based charity Medical Aid for Palestinians, will allow women to borrow to establish small firms and earn a living rather than relying on hand-outs. LEBANON AID PLAN by The Mirror (London, England) Therefore, based on a review of the literature (Lawrence and DeNovellis, 1974; Myers and McCaulley, 1989) it was hypothesized that the BCSs studied were, in fact, likely to demonstrate preferences for business communication topics based on Jung's personality type scheme. Using personality type in the business communication classroom by Mcpherson, William / Academic Exchange Quarterly These are admirable goals and Gingrich has reduced our need to think about them in any detail by a "follow the numbers" type scheme. To Renew America by Levinson, Martin H. / ETC.: A Review of General Semantics			type font type gage type I assembly type I error type I of Cori Type I portland cement type I superconductor type I supernova type Ia supernova type Ib supernova type Ic supernova type II assembly Type II Cepheids type II error type II portland cement type II superconductor type II supernova type II-L supernova type II-P supernova type III assembly type III cement type inference type IV cement type locality Type Metal type scheme type section Type Size Type, Literary type-a leader type-ahead type-ahead search type-bar printer type-DWV tubing type-in traffic type-M carcinotron type-O carcinotron type-S fuse type-ß leader type-X gypsum lath type-X gypsum wallboard typeahead typeahead buffer Typecasting typed lambda-calculus TypedProlog typeface typeface family typematic typeover mode types of hardware			Type of government Type of government Type of government Type of Insurance Type of Mission Type Of Number Type of Occurrence Classification System Type of Person Who Uses Internet Acronyms Type of Relationship Type of Service Type Of Shipment Type of Signalling Type of US DOD SIGINT Satellite Type of writing Type One Diabetes Assistance and Enlightenment type out type out type over Type Pack Type Physical Inventory Code Type physicalism Type physicalism Type polymorphism Type Rating Examiner Type Rating Instructor Type Rating Training Organization Type Requisition Code type scaler type scheme Type section Type setting Type setting type site type sites type size type slug Type Something Long type species type species type species type species Type Specific Driver type specificity type specimen type specimens Type Storage Code type style Type system type T personality Type T-Negative Type T-Positive Mental Type T-Positive Physical Type three secretion system Type three secretion system Type three secretion system Type three secretion system Type To Learn Type To You Later Type Training

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.