🤓
Isitha's Wiki
search
Ctrlk
  • Isitha's Wiki
  • software_engineeringchevron-right
  • computer_sciencechevron-right
    • aichevron-right
    • programming_language_theorychevron-right
      • typeschevron-right
        • Algebraic Data Type (ADT)
        • Hindler-Milner type system
        • Linear Types
        • Affine types
      • optimisationschevron-right
      • codegenchevron-right
      • parserschevron-right
      • semanticschevron-right
    • distributed_systemschevron-right
    • data_structureschevron-right
    • searchchevron-right
    • theoreticalchevron-right
    • compressionchevron-right
  • mathchevron-right
  • physicschevron-right
  • philosophychevron-right
gitbookPowered by GitBook
block-quoteOn this pagechevron-down
  1. computer_sciencechevron-right
  2. programming_language_theory

types

Algebraic Data Type (ADT)chevron-rightHindler-Milner type systemchevron-rightLinear Typeschevron-rightAffine typeschevron-right
Previousprogramming_language_theorychevron-leftNextAlgebraic Data Type (ADT)chevron-right

Last updated 4 years ago