type scheme

from The Free On-line Dictionary of Computing (8 July 2008)

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)