Template:Type systems

From WikiProjectMed

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

Navigation menu