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 ?
According to a close friend of the deceased TV anchor, Abbas, Zaman attracted financers on a Golden Key type scheme. Major investors were paid a higher return on their investment, while smaller investors were given a slightly lesser percentage.
Sunni Dam HEP is a run of the river type scheme. The project is situated on Satluj river near Khaira village spread over Shimla and Mandi districts of Himachal Pradesh.
"I'd say in most instances it won't be in your best interest to move money out of a final-salary type scheme into a different type of pension.
"I'd say, in most instances, it won't be in your best interest to move money out of a final-salary type scheme into a different type of pension.
(2) Unforgeability: in a proxy-unprotected type scheme, B can sign messages on behalf of A without taking responsibility for the signature.
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. However, this was demonstrated not to be the case.
The raise predefined function has the following type scheme: [inverted]A [Alpha], [Rho].
These are admirable goals and Gingrich has reduced our need to think about them in any detail by a "follow the numbers" type scheme. In his book we are told there are five basic principles which form the heart of our civilization; eight steps needed to improve opportunities for the poor; six major changes necessary to leave our children with an America that is prosperous, free, and safe; seven steps needed to solve the drug problem; five major distinctions between "Second" and "Third" wave education; and ten deeply felt desires of the American people known as the "Contract with America."
Given [Gamma] and e, let [Gamma]' be an instance of [Gamma] and [Sigma] a type scheme such that [Gamma]' ??
"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.