Folien

Die folgenden Vorlesungsfolien unterliegen dem Copyright. Teilnehmern der Vorlesung ist die Verwendung für persönliche Studien gestattet. Alle anderen Rechte sind vorbehalten.

The following notes are copyright. Participants of the lecture may use these notes for personal studies. All other rights are reserved.

Die ausgedruckten Folien sollen jeweils zur Vorlesung mitgebracht werden.

• Folien 1 - Einführung
• Folien 2 - Rekursive Funktionen und Induktion
• Folien 3 - Termauswertung (neue Version, 19.5.2009)
• Folien 4 - Polymorphe Datentypen
• Folien 5 - Typüberprüfung und Typinferenz
• Folien 6 - Funktionen höherer Ordnung
• Folien 7 - Benutzerdefinierte Datentypen
• Folien 8 - Terme, Suchbäume und Pattern Matching
• Folien 9 - Methodisches Programmieren
• Folien 10 - Ausnahmebehandlung und Strukturen
• Folien 11 - Syntaxerkennung und -Behandlung (neue Version, 13.7.2009)
• Folien 12 - Fixpunktsatz und Semantik rekursiver Funktionen
• Folien 13 - Zusammenfassung

Übungsblätter sind auf einer eigenen Seite verlinkt.

SML

Wir verwenden den Compiler/Interpreter "Standard ML of New Jersey" (SML/NF), etwa in der Version 110.69 (die am CIP-Pool installierte Version 110.65 sollte auch funktionieren)

• Homepage der Standard ML of New Jersey
• Standard ML Basic Library
• Für Eclipse gibt es ein SML/NJ-Plugin, das am CIP installiert ist