Funktionale Programmierung: Termine

Saarland University Computer Science

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

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

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

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

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

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

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

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

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

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

Die Vorträge werden betreut von Christian (D)oczkal, Jonas (K)aiser, Steven (S)chäfer und Tobias (T)ebbi.
Last Change: Thu 01 Jan 1970 00:00:00 UTC |