Funktionale und regelgestützte Programmierung
Frühjahrstrimester 2000

Dr. Wolfram Kahl

Vorlesungsabriß

1. Einführung
2. Einfach typisierter Lambda-Kalkül
3. Termersetzung, Auswertungsstrategien, Pattern-Matching
4. Listen
5. Algebraische Programmentwicklung - Textverarbeitung
6. Datentypen
7. Syntaxanalyse
8. Pretty-Printing
9. Typklassen
10. Konstruktorklassen
11. Monaden und I/O
12. ...

Aufgaben

• Aufgaben zur Vorlesung vom 18. April 2000
• Aufgaben zur Vorlesung vom 16. Mai 2000
• Aufgaben zu Monaden

Dokumente, Software und weitere Links: Zentralseite der Vorlesung Funktionale Programmierung