Isitha's Wiki
software_engineering
computer_science
math
physics
philosophy
- stoicism
  - Zeno of Citium
  - Epictetus
- existentialism

Powered by GitBook

On this page

computer_science

programming_language_theory

types

Hindler-Milner type system

PreviousAlgebraic Data Type (ADT)NextLinear Types

Last updated 3 years ago