Ein tiefgreifendes Lehrbuch, das die Entstehung von Programmiersprachen von den ersten Compiler‑Designs bis zu modernen funktionalen Modellen nachzeichnet und dabei Syntax, Semantik, Typensysteme sowie Ausführungsstrategien aus einer mathematischen Sicht erklärt.