Funktionale Programmierung: Termine

Programming Systems

Teaching

Startseite

Literatur

Termine

Das Proseminar findet jeweils Dienstags von 16:15 bis 18:00 in Raum 528 (Geb. E1 3) statt.

Die Termine im einzelnen:

Lesegruppe 1: Dienstag, 30. April, 16:15

Bedarfsgesteuerte Auswertung und zyklische Datenstrukturen

Lesegruppe 2: Dienstag, 7. Mai, 16:15

Typklassen

Lesegruppe 3: Dienstag, 14. Mai, 16:15

I/O und Monadische Typen in Haskell

Voträge 1 und 2: Dienstag, 28. Mai 16:15

1. Maximilian Zöllner: A Program to solve Sudoku, von Richard Bird. (K)
2. Jannis Froese: Finding Celebrities: A lession in functional programming, von Richard Bird und Sharon Curtis (T)
   (Nur aus dem Uni Netzwerk heraus verfügbar)

Voträge 3 und 4: Dienstag, 4. Juni 16:15

3. Yannick Forster: Monadic Parsing in Haskell, von Graham Hutton und Erik Meijer. (T)
4. Felix Freiberger: Every Bit Counts, von Dimitrios Vytiniotis und Andrew Kennedy. (T)

Voträge 5 und 6 : Dienstag, 11. Juni 16:15

5. Tina Jung: Lazy Wheel Sieves and Spirals of Primes, von Colin Runciman (D)
6. Kai Hornung: Enumerating the Rationals, von Jeremy Gibbons, David Lester und Richard Bird. (S)

Voträge 7 und 8: Dienstag, 18. Juni 16:15

7. Inken Hagestedt: Drawing Trees, von Andrew Kennedy. (K)
8. Oliver Hoog: The Zipper, von Gérard Huet (K)

Voträge 9 und 10: Dienstag, 25. Juni 16:15

9. Valerie Poser: Explaining Binomial Heaps, von Ralf Hinze. (D)
10. Fabian Reinartz: Simple and Efficient Purely Functional Queues and Deques, von Chris Okasaki. (S)

Voträge 11 und 12: Dienstag, 2. Juli 16:15

11. Tobias Blass: A Play on Regular Expressions, von Sebastian Fischer, Frank Huch und Thomas Wilke. (D)
12. Gereon Fox: Probabilistic Functional Programming in Haskell, von Martin Erwig und Steve Kollmansberger. (S)