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.



< Previous Terms Terms Containing type scheme Next Terms >
type class
typed lambda-calculus
TypedProlog
typeface
type inference
 typo
typographical error
TYPOL
tyt
TZ