Funktionale Programmierung: Termine

Programming Systems

Teaching

Startseite

Literatur

Termine

Das Proseminar findet jeweils Mittwochs von 18:00 bis 19:30 in Raum 528 (Geb. E1 3) statt.

Die Termine im einzelnen:

Lesegruppe 1: Mittwoch, 28. April, 18:00

Bedarfsgesteuerte Auswertung und zyklische Datenstrukturen

Lesegruppe 2: Mittwoch, 2. Mai, 18:00

Typklassen

Lesegruppe 3: Mittwoch, 9. Mai, 18:00

I/O und Monadische Typen in Haskell

Voträge 1 und 2: Mittwoch, 30. Mai 18:00

• Philipp Müller Monadic Parsing in Haskell, von Graham Hutton und Erik Meijer.
• Michael Brengel Drawing Trees, von Andrew Kennedy.

Voträge 3 und 4: Mittwoch, 6. Juni 18:00

• Gerrit Großmann A Program to solve Sudoku, von Richard Bird.
• Daiel Puschmann Explaining Binomial Heaps, von Ralf Hinze.

Voträge 5, 6 und 7: Mittwoch, 13. Juni 18:00

• Kathrin Stark Every Bit Counts, von Dimitrios Vytiniotis und Andrew Kennedy.
• David Poetzsch-Heffter Pickler Combinators, von Andrew Kennedy
• Michael Backenköhler Enumerating the Rationals, von Jeremy Gibbons, David Lester und Richard Bird.

Voträge 8 und 9: Mittwoch, 20. Juni 18:00

• Fabian Wobito Simple and Efficient Purely Functional Queues and Deques, von Chris Okasaki.
• Jonas Oberhauser Streams and Unique Fixed Points, von Ralf Hinze.

Voträge 10 und 11: Mittwoch, 27. Juni 18:00

• Jonas Schneider A Play on Regular Expressions, von Sebastian Fischer, Frank Huch und Thomas Wilke.
• Jan-Oliver Kaiser Probabilistic Functional Programming in Haskell, von Martin Erwig und Steve Kollmansberger.