Data Type

• Definition, Types
• Type Binding
• Static Versus Dynamic
• Type Checking
• Static Versus Dynamic
• Implementation of Type Checking
• Symbol Table Versus Dynamic Descriptor
• Type Inference
• Derived Type Versus Subtype
• Type Compatibility / Equivalence
• Name Versus Structure
• Type Conversion
• Coercion Versus Casting
• Narrowing Versus Widening
• Categories of Languages based on Type Checking
• Strong Versus Weak