Ein umfassendes Lehrbuch, das die Architektur, Semantik und Typensysteme von Programmiersprachen systematisch erklärt, mit vielen Beispielen aus aktuellen Sprachen wie Rust, Kotlin und Python.