Word:

type scheme

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.
Browse
type AB
type assignment
type B
type class
type family
Type founder
Type foundry
type genus
type I allergic reaction
type I diabetes
type II diabetes
type inference
type IV allergic reaction
type metal
type O
type of architecture
-- type scheme --
type species
type specimen
Type wheel
type-ahead
type-ahead search
typecast
typed
typed lambda-calculus
TypedProlog
typeface
typescript
typeset
Typesetter
Typesetting
typesetting machine
Typewrite
Definitions Index: # A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

About this site and copyright information - Online Dictionary Home - Privacy Policy