Funktionale Programmierung: Termine

Programming Systems

Teaching

Startseite

Literatur

Termine

Vorbereitungstreffen: Mittwoch, 20. Oktober, 13:30-14:00

Lesegruppe 1: Donnerstag, 04. November, 14:15-15:45

Bedarfsgesteuerte Auswertung und zyklische Datenstrukturen

• Übungsblatt 1

Lesegruppe 2: Donnerstag, 11. November, 14:15-15:45

Typklassen

• Übungsblatt 2

Lesegruppe 3: Donnerstag, 18. November, 14:15-15:45 (in Raum 525)

I/O und Monadische Typen in Haskell

• Übungsblatt 3

Vortrag 1, 2 & 3: Donnerstag, 06. Januar, 14:15-16:15

• Explaining Binomial Heaps, von Ralf Hinze.
• Every Bit Counts, von Dimitrios Vytiniotis und Andrew Kennedy.
• Enumerating the Rationals, von Jeremy Gibbons, David Lester und Richard Bird.

Vortrag 4, 5 & 6: Donnerstag, 13. Januar, 14:15-16:15

• A Program to solve Sudoku, von Richard Bird.
• Drawing Trees, von Andrew Kennedy.
• Monadic Parsing in Haskell, von Graham Hutton und Erik Meijer.

Vortrag 7, 8 & 9: Donnerstag, 20. Januar, 14:15-16:15

• A Play on Regular Expressions, von Sebastian Fischer, Frank Huch und Thomas Wilke.
• Simple and Efficient Purely Functional Queues and Deques, von Chris Okasaki.
• Probabilistic Functional Programming in Haskell, von Martin Erwig und Steve Kollmansberger.