Wie funktionale Sprachen Daten modellieren: Algebraische Datentypen, Summen- und Produkttypen, persistente Strukturen und formale Spezifikationen.