Home
•
Search
•
Translate
From Wikipedia, the free encyclopedia
Type systems
General concepts
Type safety
Strong vs. weak typing
Major categories
Static
vs.
dynamic
Manifest
vs.
inferred
Nominal
vs.
structural
Duck typing
Minor categories
Abstract
Dependent
Flow-sensitive
Gradual
Intersection
Latent
Refinement
Substructural
Unique
Session
v
t
e
Category
:
Computer science sidebar templates
Hidden category:
Sidebars with styles needing conversion
From Wikipedia, the free encyclopedia
Type systems
General concepts
Type safety
Strong vs. weak typing
Major categories
Static
vs.
dynamic
Manifest
vs.
inferred
Nominal
vs.
structural
Duck typing
Minor categories
Abstract
Dependent
Flow-sensitive
Gradual
Intersection
Latent
Refinement
Substructural
Unique
Session
v
t
e
Category
:
Computer science sidebar templates
Hidden category:
Sidebars with styles needing conversion
Videos
Youtube
|
Vimeo
|
Bing
Websites
Google
|
Yahoo
|
Bing
Encyclopedia
Google
|
Yahoo
|
Bing
Facebook
Top Of Page
Home
•
Search
•
Translate
©
CSE