Covers all of the major programming languages in a deep way.
> interpreters (SICP), compilers, type systems, transaction processing, effect systems, FRP, concurrency
These subjects are the core of almost any system that you'll encounter, in practice - academic or industrial.