| Einfache Datentypen | |
| Selbstdefinierte Datentypen | |
| Typen und vollständige partielle Ordungen | |
| Produkt- und Summen-Datentypen | |
| Listen und einfache Listenfunktionen | |
| Map, filter und List Comprehension | |
| Fold-Funktionen | |
| Typsynonyme und isomorphe Typen | |
| Halbgruppen und Monoide | |
| Funktoren | |
| Applikative Funktoren | |
| Monaden | |
| Error-, Reader-, Writer- und State-Monade | |
| λ-Kalkül und kombinatorische Logik |
| Letzte Änderung: 27.03.2015 | © Prof. Dr. Uwe Schmidt |