Source : Free On-Line Dictionary of Computing

type scheme
     
        A typing of an expression which may include {type variable}s.
        E.g.
     
        	\ x . x :: a -> a
     
        where a is a {generic type variable} which may be instantiated
        to any type.
     
        (1994-10-31)