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

Algebraic Data Type (ADT)

Previoustypes NextHindler-Milner type system

Last updated 3 years ago