Isitha's Wiki

Isitha's Wiki
software_engineering
computer_science
math
physics
philosophy
- stoicism
  Zeno of Citium
  Epictetus
- existentialism
  Simone De Beauvoir
  Jean-Paul Sartre
  Albert Camus
  Soren Kierkegaard

Powered by GitBook

Hindler-Milner type system

PreviousAlgebraic Data Type (ADT)NextLinear Types

Last updated 2 years ago

On this page