type scheme

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.
References in periodicals archive ?
Hundreds felt prey to the largest Ponzi type scheme in New Hampshire history.
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.
In rules 8 and 13, we write TypeArg(D) for the type scheme of the argument of constructor D, e.
These are admirable goals and Gingrich has reduced our need to think about them in any detail by a "follow the numbers" type scheme.
There is clearly demand for this type scheme and the pilot shows it is providing a realistic alternative to high-cost moneylenders by offering a convenient, low-cost personal loan scheme.
People signing up to the Neighbourhood Watch type scheme will receive an information leaflet and a notepad to record any necessary information, which can then be passed onto the relevant agency.
Given [Gamma] and e, let [Gamma]' be an instance of [Gamma] and [Sigma] a type scheme such that [Gamma]' ?
Contract notice: Organization and management of the "taxi checks" type scheme for the department of essonne.
Throughout, we require the bound variables of a type scheme to be distinct and we abbreviate [inverted]A[[Alpha].
58/1998, to be valid for at least 180 days from the date of bid submission, prepared according to the type scheme in March 2004; the same must contain the commitment to remain jointly liable with the principal debtor until the contracting authority does not declare the complete fulfillment of the obligations assumed by the same obligor, as well as the burden of timely and diligent enforcement of the debtor (Art.
While this is good, it is unlikely that the contributions will be sufficient to provide a pension anything like as good as the "final salary" type scheme.