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.
(1994-10-31)
Nearby terms:
TypedProlog « typeface « type inference « type
scheme
» typo » typographical error » TYPOL
|