Gliederung der Vorlesung

• algebraische Datentypen, Pattern Matching, Termersetzungssysteme
• Funktionen (polymorph, höherer Ordnung), Lambda-Kalkül, Rekursionsmuster
• Typklassen zur Steuerung der Polymorphie
• Bedarfsauswertung, unendl. Datenstrukturen
• Programmstrukturierung durch Monaden
• Modelle für Nebenläufigkeit und Parallelität