Word:

type assignment

(theory)type assignment - A mapping of the free variables of some expression E to types. This is used in type inference to deduce the type of E and its subexpressions.
Browse
Tympanum
Tympany
Tymshare, Inc.
Tynd
Tyndale
Tyndall
Tyndall effect
Tyne
Tyne River
Tyny
Typal
Type
type 1 diabetes
Type 2 diabetes
type A
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
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