Saarland University
Computer Science
Programming Systems
Teaching
Funktionale Programmierung


Startseite
Literatur
Termine

Funktionale Programmierung: Literatur

Einführende Literatur zu Haskell

• A Gentle Introduction to Haskell 98, von Paul Hudak, John Peterson, und Joseph Fasel
• Introduction to Functional Programming using Haskell, von Richard Bird. Prentice Hall, 1998.
• The Haskell School of Expression, von Paul Hudak. Cambridge University Press, 2000.

• 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.

Vortragsthemen

Algorithmen und Datenstrukturen

• Simple and Efficient Purely Functional Queues and Deques, von Chris Okasaki.
• Enumerating the Rationals, von Jeremy Gibbons, David Lester und Richard Bird.
• Fun with Binary Heap Trees, von Chris Okasaki. In The Fun of Programming, pp. 1-16. Palgrave, 2003.
• Constructing Red-Black Trees, von Ralf Hinze.
• Producing all Ideals of a Forest, Functionally, von Jean-Christophe Filliâtre and François Pottier.
• Lazy Wheel Sieves and Spirals of Primes, von Colin Runciman.

Parsing, Pretty-printing, lazy evaluation...

• Drawing Trees, von Andrew Kennedy.
• Monadic Parsing in Haskell, von Graham Hutton und Erik Meijer.
• A Prettier Printer, von Phil Wadler.
• Composing contracts: An Adventure in Financial Engineering, von Simon Peyton Jones, Jean-Marc Eber, Julian Seward.
• Pickler Combinators, von Andrew Kennedy.
• Power Series, Power Serious, von M. Douglas McIlroy.

Rekursionsschemata

• A Tutorial on the Universality and Expressiveness of Fold, von Graham Hutton.

Weitere links zu functional pearls gibt es hier.