type scheme
Technology Dictionary
-> type scheme
Search:
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)
©
Art Branch Inc.
SQL Tutorial