Jump to content

Template:Type systems

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

Retrieved from "https://en.wikipedia.org/w/index.php?title=Template:Type_systems&oldid=1058748793"

Computer science sidebar templates

Hidden category:

Sidebars with styles needing conversion