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

Linear Types

PreviousHindler-Milner type system NextAffine types

Last updated 3 years ago