Funktionale Programmierung: Termine

Saarland University

Computer Science

Programming Systems

Lesegruppe 1: Mittwoch, 11. November, 16:15-17:45

Bedarfsgesteuerte Auswertung und zyklische Datenstrukturen

�bungsblatt 1

Lesegruppe 2: Mittwoch, 18. November, 16:15-17:45

Typklassen

�bungsblatt 2

Lesegruppe 3: Mittwoch, 25. November, 16:15-17:45

I/O und Monadische Typen in Haskell

�bungsblatt 3

Vortrag 1: Mittwoch, 02. Dezember, 16:15-17:45

Ghamdan Atef: Drawing Trees, von Andrew Kennedy.

Vortr�ge 2&3: Mittwoch, 16. Dezember, 16:15-17:45

Nikolina Koleva: Enumerating the Strings of Regular Languages, von M. Douglas McIlroy.
Hussein Fakih: Simple and Efficient Purely Functional Queues and Deques, von Chris Okasaki.

Vortr�ge 4&5: Mittwoch, 06. Januar, 16:15-17:45

Carsten Hornung: Explaining Binomial Heaps, von Ralf Hinze.
Marvin K�nnemann: Streams and Unique Fixed Points, von Ralf Hinze.

Vortr�ge 6&7: Mittwoch, 13. Januar, 16:15-17:45

Caroline Ebert: Producing all Ideals of a Forest, Functionally, von Jean-Christophe Filli�tre and Fran�ois Pottier.
Jan Balzer: Enumerating the Rationals, von Jeremy Gibbons, David Lester und Richard Bird.

Last Change: Thu 01 Jan 1970 00:00:00 UTC |