1. SS 2007
2. WS 2006/2007
3. SS 2006
4. WS 2005/2006
5. Lehrstuhlvertretung Freiburg
6. WS 2004/2005
7. SS 2004
8. WS 2003/2004
9. SS 2003
10. WS 2002/2003
11. SS 2002
12. WS 2001/2002
13. SS 2000
14. WS 1999/2000
15. SS 1999
16. WS 1998/1999
17. SS 1998
18. WS 1997/1998
19. SS 1997
20. WS 1996/1997
21. SS 1996
22. WS 1995/1996

Vorlesung Prinzipien von Programmiersprachen.

Praktikum Übersetzerbau.

WS 2006/2007

Vorlesung Informatik 1.

SS 2006

Vorlesung Prinzipien von Programmiersprachen.

Praktikum Übersetzerbau.

WS 2005/2006

Vorlesung Übersetzerbau.

Programmierpraktikum Haskell

Unterlagen:

• Folien: (PDF, ps.gz, 4 auf 1: ps.gz)

Vorlesung Übersetzerbau.

SS 2004

Programmierpraktikum Haskell

Unterlagen:

• Praktikumsaufgabe (PDF), Unterlagen: man page emerge(1), man page ebuild(1), man page ebuild(5), Gentoo Ebuild HOWTO.

Proseminar Spezifikation und Herleitung von Programmen

WS 2003/2004

Vorlesung Deskriptive Programmierung

Übungsaufgaben:

• Aufgabe 1
• Aufgabe 2
• Aufgabe 3
• Aufgabe 4
• Aufgabe 5
• Aufgabe 6
• Aufgabe 7
• Aufgabe 8
• Aufgabe 9
• Aufgabe 10
• Aufgabe 11

Gundvorlesung Informatik II

WS 2002/2003

Vorlesung Deskriptive Programmierung

Übungsaufgaben:

• Aufgabe 1
• Aufgabe 2
• Aufgabe 3
• Aufgabe 4
• Aufgabe 5
• Aufgabe 6
• Aufgabe 7
• Aufgabe 8
• Aufgabe 9
• Aufgabe 10
• Aufgabe 11

Programmierpraktikum Haskell

Unterlagen:

• Praktikumsaufgabe (ps.gz)
• Aufgabe 4 (Aufgabenstellung, Musterlösung, Vortrag)
• Termine, Termine ...
• Haskell Kurs (PDF, ps.gz, 4 auf 1: ps.gz)
• Programme (tar.gz)

WS 2001/2002

Vorlesung Deskriptive Programmierung

SS 2000

Programmierpraktikum Haskell

WS 1999/2000

Vorlesung Fortgeschrittene Algorithmen und Datenstrukturen in Haskell (KVV)

SS 1999

Programmierpraktikum Haskell

Unterlagen:

• Praktikumsaufgabe (dvi.gz, ps.gz)

Übungen zu Informatik I

SS 1998

Vorlesung Fortgeschrittene Algorithmen und Datenstrukturen in Haskell

WS 1997/1998

Praktikum Haskell 1.4

Unterlagen:

• Termine, Termine ...
• To do: Online Haskell Kurs
• To do: Folien (dvi.gz, ps.gz, 4 auf 1: ps.gz)
• Programme (Sequenzen: dvi.gz, ps.gz)
• Aufgabe 1 (dvi.gz)
• Aufgabe 2 (dvi.gz)
• Praktikumsaufgabe (dvi.gz, ps.gz)
• HTML: A guide to HTML and CGI scripts
• LaTeX: TeX-Service des HRZ der Universität Gießen)

Praktikum Haskell 1.4

Unterlagen:

• Praktikumsaufgabe (dvi.gz, ps.gz)
• Unterlagen zum Programmierpraktikum Formelmanipulation (dvi.gz, ps.gz)
• Parsing ( Monadic Parser Combinators by Hutton and Meijer)
• Pretty Printing ( SPJ's pretty printer library in Haskell)

Grundvorlesung Algorithmen und Datenstrukturen I (Universität Bielefeld)

SS 1996

Praktikum Haskell

Unterlagen:

• Praktikumsaufgabe (dvi.gz, ps.gz)

Implementierung deskriptiver Sprachen (mit Dr. Wolfram Burgard).

Literatur:

• The Glasgow Haskell compiler: a technical overview (ps.gz)
• Compilation by Transformation in the Glasgow Haskell compiler (ps.gz)
• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine, Version 2.5 (ps.gz)
• Generational garbage collection for Haskell (ps.gz)
• Compiling Haskell by program transformation: a report from the trenches (ps.gz)