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.

Last updated: 1994-10-31

Try this search on Wikipedia, OneLook, Google

Nearby terms:

TypedProlog « typeface « type inference « type scheme » typo » typographical error » TYPOL