Category Archives: Programming languages and compilers

Compiler theory
Programming language pragmatics
Programming language theory
Formal semantics
Type theory