Proseminar: Funktionale Programmierung Prof. Gert Smolka, Steven Schäfer, Yannick Forster, Jonas Kaiser, Kathrin Stark

Einführende Literatur zu Haskell

• A Gentle Introduction to Haskell 98, von Paul Hudak, John Peterson, und Joseph Fasel
• Real World Haskell, von Bryan O'Sullivan, Don Stewart, and John Goerzen. O'Reilly, 2008.
• Introduction to Functional Programming using Haskell, von Richard Bird. Prentice Hall, 1998.
• The Haskell School of Expression, von Paul Hudak. Cambridge University Press, 2000.
• FP Complete, School of Haskell

• How to make ad-hoc polymorphism less ad hoc zu Typklassen, von Phil Wadler und Stephen Blott
• Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell, von Simon Peyton Jones
• Monads for Functional Programming, von Phil Wadler
• Eine Übersicht der Haskell syntax, von Arjan van IJzendoorn

Präsentationen und wissenschaftliches Arbeiten

• How to present a paper in theoretical computer science, von Ian Parberry.
• The Craft of Research, von Wayne C. Booth, Gregory Colomb, und Joseph M. Williams. University of Chicago Press, 2008.