🤓
Isitha's Wiki
search
⌘Ctrlk
🤓
Isitha's Wiki
  • Isitha's Wiki
  • software_engineering
  • computer_science
    • ai
    • programming_language_theory
      • types
        • Algebraic Data Type (ADT)
        • Hindler-Milner type system
        • Linear Types
        • Affine types
      • optimisations
      • codegen
      • parsers
      • semantics
    • distributed_systems
    • data_structures
    • search
    • theoretical
    • compression
  • math
  • physics
  • philosophy
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