type schemeA typing of an expression which may include type variables. E.g.
\ x . x :: a -> awhere a is a generic type variable which may be instantiated to any type.
Last updated: 1994-10-31
typeface ♦ type inference ♦ type scheme ♦ typo ♦ typographical error
Try this search on Wikipedia, Wiktionary, Google, OneLook.