Programmierparadigmen am KIT
Übersicht über die Themen. ( Textform für Sehgeschädigte)
Zur Klausurvorbereitung habe ich viele der Ninety-Nine Haskell Problems und der Ninety-Nine Prolog Problems gemacht. Sehr ähnliche Probleme waren bereits in Altklausuren dran.
Für alle die sich weitergehend mit dem Lambdakalkül auseinandersetzen wollen, sind Introduction to Lambda Calculus von Henk Barendregt und Erik Barendsen, sowie Lecture Notes on the Lambda Calculus von Peter Selinger lesenswert.