type theory

1 article · All tags

• Type Theory in Programming Languages
  What a type system actually does — from preventing bugs at compile time to enabling expressive polymorphism — and why type theory underpins modern language design.