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.
Garbage Collection Automatic memory management that reclaims memory no longer reachable by the program, eliminating manual deallocation and its associated bugs.