Seminar "Fortgeschrittene Techniken der funktionalen Programmierung"
Wintersemester 2005/2006
Lehrstuhl für Programmiersprachen und Übersetzerkonstruktion
Das Seminar richtet sich an Studierende im Hauptstudium der
Informatikstudiengänge mit Vorkenntnissen im Bereich der Funktionalen
Programmierung.
Zuordnung: Praktische Informatik
Die Vergabe der Seminarplätze erfolgte bereits am Ende des Sommersemesters 2005.
Sollten Studierende dennoch Interesse an einem Thema in diesem Seminar haben, können sie sich bei Frank Huch (Raum 704, CAP 4) melden und sich eines der noch nicht vergebenen Themen aussuchen.
Termin
Das Seminar findet als Blockveranstaltung am 19. und 20. Januar 2006, jeweils nachmittags ab 14 Uhr in Raum 715 statt.
Die Ausarbeitung soll bis zum 9. Dezember in einer ersten Fassung dem
jeweiligen Betreuer vorliegen und direkt nach den Weihnachtsferien in
der endgültigen Fassung (als pdf-Dokument) vorliegen, damit noch
genügend Zeit bleibt, den Vortrag vorzubereiten.
Der Betreuer sollte spätestens Ende November zum ersten Mal kontaktiert werden, um das weitere Vorgehen und die Struktur der Ausarbeitung zu besprechen.
Hinweise
Bitte beachtet folgende Hinweise
zu Vortrag und Ausarbeitung.
Vortragsliste
Donnerstag, 19. Januar 2005, 14 - 18 Uhr
Peter Findeisen: Compile-time meta-programming with Template Haskell
Ausarbeitung
(Betreuer:
Frank Huch)
- Tim Sheard and Simon Peyton Jones.Template metaprogramming for
Haskell. ACM SIGPLAN Haskell Workshop 02, ACM Press, Oct 2002
Entfällt: Implicit Configuration -- or, Type Classes
Reflect the Value of Types (Functional Pearl)
(Betreuer:
Frank Huch)
- Oleg Kiselyov, Chung-chieh Shan, in Proceedings of the ACM SIGPLAN
2004 Haskell Workshop, Snowbird, Utah, September 22, 2004
Daniel Jung: Context Patterns in Haskell
Ausarbeitung(Betreuer:
Michael Hanus)
- Markus Mohnen, Context Patterns in Haskell, in Selected Papers from the 8th International Workshop on Implementation of Functional Languages, LNCS 1268,
Springer, 1996
- Markus Mohnen, Context Patterns, Part II, in
1997 International Workshop on Implementation of Functional Languages,
September 10th - 12th 1997, St. Andrews, Scotland
Ken Bell:
HaskellDB (Improved)
Ausarbeitung(Betreuer:
Sebastian Fischer)
- Björn Bringert, Anders Höckersten, in Proceedings of the ACM SIGPLAN
2004 Haskell Workshop, Snowbird, Utah, September 22, 2004
- Leijen, D. and Meijer, E., Domain Specific Embedded
Compilers. In Proceedings of the 2nd Conference on
Domain-Specific Languages (DSL'99), ACM SIGPLAN Notices 35(1), 1999
Freitag, 20. Januar 2005, 14 - 17 Uhr
Marion Müller:
CGI-Programmierung mit Haskell: Web Authoring System Haskell (WASH)
Ausarbeitung
(Betreuer:
Michael Hanus)
- Peter Thiemann: Wash/CGI: Server-side Web Scripting with
Sessions and Typed, Compositional Forms.
In Practical Aspects of Declarative Languages (PADL'02), Volume
2257 of Lecture Notes in Computer Science, Portland, Oregon, USA,
January 2002
Tobias Harneit:
Logikprogrammierung in Haskell - Backtracking-Monade
Ausarbeitung
(Betreuer:
Michael Hanus)
- Ralf Hinze. Prolog's control constructs in a functional setting
- Axioms and implementation. International Journal of
Foundations of Computer Science,
12(2):125-170, 2001
- Ralf Hinze. Deriving Backtracking Monad Transformers.
In Phil Wadler, editor, Proceedings of the 2000 International
Conference on Functional Programming, Montreal, Canada, September
18-20, 2000
- ggf. zusätzlich: Claessen, K. and Ljunglöf, P., Typed Logical Variables in
Haskell. Proc. ACM SIGPLAN Haskell Workshop, 2000
Christoph Stoike:
FGL/Haskell - A Functional Graph Library for Haskell
Ausarbeitung
(Betreuer:
Bernd Braßel)
- Martin Erwig. Inductive Graphs and Functional Graph
Algorithms. Journal of Functional Programming, Vol. 11, No. 5,
467-492, 2001