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)

Try this search on Wikipedia, OneLook, Google

Nearby terms: TypedProlog « typeface « type inference « type scheme » typo » typographical error » TYPOL

Loading
Copyright 2010 Denis Howe

Try myreviewsnow.net, the number 1 social shopping site! directoryold.com. General Business Directory.