Fortgeschrittene funktionale Programmierung
LVA 185.210, VL 2.0, ECTS 3.0, 2008 S
Die LVA wird als Blockveranstaltung durchgeführt. Die Zahl der Teilnehmer ist beschränkt. Eine Anmeldung zur Lehrveranstaltung ist nötig und erfolgt über das am Arbeitsbereich eingesetzte elektronische Anmeldesystem. Der Anmeldezeitraum geht vom 11.03.2008 bis zum 21.03.2008.
Zum Anmeldesystem.
Lecture Slides from | Topic | Slides | Hints and remarks |
19.06.2008 Lecture 8 | Type Inference, Parallelism, The Story of Haskell | .pdf .pdf.gz | Final lecture. |
12.06.2008 Lecture 7 | Pretty Printer | .pdf .pdf.gz | None. |
05.06.2008 Lecture 6 | Parsing | .pdf .pdf.gz | None. |
29.05.2008 Lecture 5 | Logical programming functionally | .pdf .pdf.gz | None. |
08.05.2008 Lecture 4 | Correctness issues, mathematical background | .pdf .pdf.gz | None. |
24.04.2008 Lecture 3 | Programming with Streams | .pdf .pdf.gz | None. |
13.03.2008 Lecture 2 | Testing of programs (specification- based, tool- supported, automatically | .pdf .pdf.gz | Note: Easter Holidays from March 17 - 29, 2008. |
11.03.2008 Lecture 1 | "Why Functional Programming Matters": A "classical" position statement these days. | .pdf .pdf.gz | Updated on 03/13/08. |
11.03.2008 Preliminary Meeting | Motivation and organizational issues | pdf pdf.gz | None. |
Assignment Issued on | Due date/2nd due date | Available formats | Hints and remarks |
13.06.2008 | 23.06.2008 (12:00) / 30.06.2008 (20:00) |
Assignment 7.pdf Assignment 7.pdf.gz | Final Assignment. |
06.06.2008 | 16.06.2008 (12:00) / 23.06.2008 (20:00) |
Assignment 6.pdf Assignment 6.pdf.gz | Updated on 06/09/2008. |
29.05.2008 | 09.06.2008 (12:00) / 16.06.2008 (12:00) |
Assignment 5.pdf Assignment 5.pdf.gz | None. |
08.05.2008 | 19.05.2008 (12:00) / (was 26.05.2008 (12:00)) / now: 09.06.2008 (12:00) |
Assignment 4.pdf Assignment 4.pdf.gz | None. |
19.03.2008 | 28.04.2008 (12:00) / (was 05.05.2008 (12:00)) / now: 09.06.2008 (12:00) |
Assignment 3.pdf Assignment 3.pdf.gz | None. |
19.03.2008 | 28.04.2008 (12:00) (was 05.05.2008 (12:00)) / now: 09.06.2008 (12:00) |
Assignment 2.pdf Assignment 2.pdf.gz | None. |
19.03.2008 | 28.04.2008 (12:00) / (was 05.05.2008 (12:00)) / now: 09.06.2008 (12:00) |
Assignment 1.pdf Assignment 1.pdf.gz | None. |