Type theory - How Old Today?

1

Affine_type_system

1

Dependent_type

1

Duck_typing

1

Dynamic_typing

1

Static_type

1

Static_typing

1

Strong_typing

1

Strongly-typed_programming_language

1

Type_inference

1

Weak_typing