Proseminar/Seminar - Fun of Haskell Programming

im Wintersemester 2009/10

Veranstalter: Arbeitsgruppe Parallelität und Programmiersprachen

Termine:

Montags 16 Uhr, Hörsaal III (Lahnberge)

16.07.2009	1. Vorbesprechung
12.10.2009	2. Vorbesprechung, Einführung Latex
19.10.2009	entfällt
26.10.2009	Vortrag: Wörter regulärer Sprachen aufzählen (Katharina Haselhorst)
02.11.2009	Vortrag: Aufzählen rationaler Zahlen (Gerrit Freise)
09.11.2009	Vortrag: Zipper (Max Wachtendorf)
16.11.2009	Vortrag: Burrows-Wheeler Transformation (Dominik Krappel) - ausgefallen
23.11.2009	Vortrag: Eratosthenes (Christian Strack)
30.11.2009	Vortrag: Yampa (Florian Pfeiffer)
07.12.2009	Vortrag: Sudoku (Bernhard Pickenbrock)
14.12.2009	Vortrag: Celebrity Cliques (Yannick Stein) - ausgefallen
11.01.2010	Vortrag 1: Algorithmen auf zeigerbasierten Datenstrukturen (Fabian Feise) Vortrag 2: Celebrity Cliques (Yannick Stein)
18.01.2010	Vortrag 1: Programmieren mit Nichtdeterminismus (Josa Wode) Vortrag 2: Burrows-Wheeler Transformation (Dominik Krappel)
25.01.2010	Vortrag: Template Haskell (Frank Eckhardt)
01.02.2010	Vortrag 1: Chart Parsen (Rebecca Ramb) Vortrag 2: Funktional programmieren mit Wahrscheinlichkeiten (Zied Guizani)
08.02.2010	Vortrag 1: GUI-Programmierung (Uwe Schäfer) Vortrag 2: Schachbrett Überdeckung (Mehdi Zarrad)

Voraussetzungen:

Haskell-Grundkenntnisse wie sie in der Vorlesung Konzepte von Programmiersprachen (Praktische Informatik III) vermittelt werden.

Materialien:

Offene Proseminarthemen:

Schachbrett Überdeckung

RICHARD S. BIRD (2004). FUNCTIONAL PEARL On tiling a chessboard. Journal of Functional Programming, 14 , pp 613-622

Offene Seminar- / Proseminar- Themen

Pretty Printing

S. DOAITSE SWIERSTRA and OLAF CHITIL (2009). Linear, bounded, functional pretty-printing. Journal of Functional Programming, 19 , pp 1-16

Schaltplanentwurf für ein Paralleles Addierwerk

JOHN T. O'DONNELL and GUDULA RÜNGER (2004). FUNCTIONAL PEARL Derivation of a logarithmic time carry lookahead addition circuit. Journal of Functional Programming, 14 , pp 697-713

Vergebene Proseminarthemen:

Aufzählen rationaler Zahlen
Vortragender: Gerrit Freise
Betreuer: Oleg Lobachev
Literatur: JEREMY GIBBONS, DAVID LESTER and RICHARD BIRD (2006). FUNCTIONAL PEARL: Enumerating the rationals. Journal of Functional Programming, 16 , pp 281-291

Funktional programmieren mit Wahrscheinlichkeiten
Vortragender: Zied Guizani
Betreuer: Mischa Dieterle
Literatur: MARTIN ERWIG and STEVE KOLLMANSBERGER (2006). FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell. Journal of Functional Programming, 16 , pp 21-34

Sudoku Löser
Vortragender: Bernhard Pickenbrock
Betreuer: Thomas Horstmeyer
Literatur: RICHARD BIRD (2006). FUNCTIONAL PEARL: A program to solve Sudoku. Journal of Functional Programming, 16 , pp 671-679
Prominenten Kliquen
Vortragender: Yannick Stein
Betreuer: Mischa Dieterle
Literatur: RICHARD BIRD and SHARON CURTIS (2006). FUNCTIONAL PEARLS: Finding celebrities: A lesson in functional programming. Journal of Functional Programming, 16 , pp 13-20
Sieb des Eratosthenes
Vortragender: Christian Strack
Betreuer: Oleg Lobachev
Literatur: MELISSA E. O'NEILL (2009). The Genuine Sieve of Eratosthenes. Journal of Functional Programming, 19 , pp 95-106

Vergebene Seminar- / Proseminar- Themen

Algorithmen auf zeigerbasierten Datenstrukturen
Vortragender: Fabian Feise
Betreuer: Mischa Dieterle
Literatur:RICHARD S. BIRD (2001). FUNCTIONAL PEARL Unfolding pointer algorithms. Journal of Functional Programming, 11 , pp 347-35
Burrows Wheeler Transformation
Vortragender: Dominik Krappel
Betreuer: Thomas Horstmeyer
Literatur: RICHARD S. BIRD and SHIN-CHENG MU (2004). FUNCTIONAL PEARL Inverting the Burrows–Wheeler transform. Journal of Functional Programming, 14 , pp 603-612
Chart Parsen
Vortragender: Rebecca Ramb
Betreuer: Oleg Lobachev
Literatur: PETER LJUNGLÖF (2004). FUNCTIONAL PEARL Functional chart parsing of context-free grammars. Journal of Functional Programming, 14 , pp 669-680
Echtzeitsteuerung mit Haskell
Vortragender: Florian Pfeiffer
Betreuer: Prof. Dr. Rita Loogen
Literatur: Peterson, J., Hudak, P., and Elliott, C. (1998). Lambda in Motion: Controlling Robots with Haskell. In Proceedings of the First international Workshop on Practical Aspects of Declarative Languages (January 18 - 19, 1999). G. Gupta, Ed. Lecture Notes In Computer Science, vol. 1551. Springer-Verlag, London, 91-105.
GUI-Programmierung in Haskell
Vortragender: Uwe Schaefer
Betreuer: Prof. Dr. Rita Loogen
Materialien: http://www.haskell.org/gtk2hs/
Programmieren mit Nichtdeterminismus
Vortragender: Josa Wode
Betreuer: Prof. Dr. Rita Loogen
Materialien: http://www-ps.informatik.uni-kiel.de/~mh/curry/
Template Haskell
Vortragender: Frank Eckhardt
Betreuer: Prof. Dr. Rita Loogen
Literatur: Sheard, T. and Jones, S. P. (2002). Template meta-programming for Haskell. SIGPLAN Not. 37, 12 (Dec. 2002), 60-75.
Wörter regulärer Sprachen aufzählen
Vortragende: Katharina Haselhorst
Betreuer: Thomas Horstmeyer
Literatur: McIlroy, M. Douglas (2004). Enumerating the strings of regular languages. J. Funct. Program. 14, pp 503-518.
Zipper: Bäume elegant editieren
Vortragender: Max Wachtendorf
Betreuer: Mischa Dieterle
Literatur: JGÉRARD HUET (1997). FUNCTIONAL PEARL: The Zipper. Journal of Functional Programming, 7 , pp 549-554
RALF HINZE and JOHAN JEURING (2001). FUNCTIONAL PEARL: Weaving a web. Journal of Functional Programming, 11, pp 681-689