Anonymous
Not logged in
British English
Log in
Vigyanwiki
Search
Template
:
Type systems
From Vigyanwiki
Namespaces
Template
Discussion
More
More
Page actions
Read
View source
History
Type systems
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 categories:
Sidebars with styles needing conversion
Templates Vigyan Ready
Navigation
Navigation
Main page
Recent changes
Random page
Help about MediaWiki
Wiki tools
Wiki tools
Special pages
Page tools
Page tools
User page tools
More
What links here
Related changes
Printable version
Permanent link
Page information
Page logs
Other projects
In other languages
Add links
Categories
Categories
Computer science sidebar templates
Hidden categories
Sidebars with styles needing conversion
Templates Vigyan Ready
