# types

- [Algebraic Data Type (ADT)](/isithas-wiki/computer_science/programming_language_theory/types/algebraic_data_type.md)
- [Hindler-Milner type system](/isithas-wiki/computer_science/programming_language_theory/types/hindler-minler.md)
- [Linear Types](/isithas-wiki/computer_science/programming_language_theory/types/linear_types.md)
- [Affine types](/isithas-wiki/computer_science/programming_language_theory/types/affine_types.md)