Fortgeschrittene Funktionale Programmierung, Wintersemester 2012/13

Jun.-Prof. Dr. Janis Voigtländer

Einträge im Vorlesungsverzeichnis:

• Vorlesung
• Übung

Voraussetzung:

• zum Beispiel Vorlesung Deskriptive Programmierung

Materialien:

• Folien vom 16.10.
• Folien vom 18.10. (mit Übungsaufgaben für 31.10.; vorher: Autotool)
• Wiederholungsfolien am 23.10. und 25.10.: zu Parserkombinatoren, zu data vs. type vs. newtype
• zusätzliche Folien vom 25.10., Haskell-Files: ParserLike.hs, ParserGeneralized.hs, SingletonParser.hs, MultiParser.hs, TestGeneralizedParser.hs
• Folien vom 30.10. und 06.11., Haskell-Files: Handytasten.hs, Sequence.hs, Combinators.hs, Tables.hs
• weitere Folien vom 06.11. und vom 13.11. (Übungsaufgaben für 07.11. per Email)
• Folien von Andres Löh, verwendet am 15.11.
• Haskell-File zur Übung am 20.11.
• Folien vom 21.11., Haskell-File
• Folien vom 22.11.
• Folien vom 27.11.
• Folien vom 29.11. (1. Teil)
• Folien vom 29.11. (2. Teil) und 04.12. (1. Teil)
• Folien vom 04.12. (2. Teil)
• Folien vom 06.12.
• Folien von Stefan Mehner am 11.12.
• Übungsaufgaben bis zum 13.12.
• Folien vom 18.12.
• Folien vom 20.12.
• Übungsaufgaben zum 08.01.
• Material von Joachim Breitner am 10.01., sein Blogeintrag dazu
• Folien vom 15.01.
• Material von Sebastian Fischer am 17.01.
• Folien vom 24.01.
• Folien vom 29.01.
• Übungsaufgaben zum 31.01.

Literatur / zum Weiterlesen:

• Why Functional Programming Matters, article by John Hughes (arguing the case of higher-order functions and lazy evaluation as means for improved modularity)
• Using Circular Programs to Eliminate Multiple Traversals of Data, article by Richard Bird (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
• Haskell-Wiki, zur Verwendung von seq
• Algebraic Dynamic Programming homepage (Uni Bielefeld)
• Haskell-Wiki, zu GADTs
• Less Is More - Generic Programming Theory and Practice, PhD thesis by José Pedro Magalhães
• Monads for functional programming, tutorial by Phil Wadler (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
• State in Haskell, article by John Launchbury and Simon Peyton Jones (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
• QuickCheck-Folien von Andres Löh
• Beauty in the Beast: A Functional Semantics for the Awkward Squad, article by Wouter Swierstra and Thorsten Altenkirch (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
• Towards a theory of type structure, article by John Reynolds (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
• Types, Abstraction and Parametric Polymorphism, article by John Reynolds
• Theorems for Free!, article by Philip Wadler (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
• A Short Cut to Deforestation, article by Andy Gill et al. (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
• Functional Logic Programming, article by Sergio Antoy and Michael Hanus
• Logical Abstractions in Haskell, article by Nancy A. Day et al.
• Much Ado about Two: A Pearl on Parallel Prefix Computation, article by Janis Voigtländer (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)
• Functional and dynamic programming in the design of parallel prefix networks, article by Mary Sheeran (wenn in Uni-Netz eingeloggt, kostenfrei aufrufbar)

Online-Ressourcen:

• Haskell homepage
• Functional Programming Fundamentals, online lectures by Erik Meijer (based on Graham Hutton's book): chapter 1, chapter 2, chapter 3, chapter 4, chapter 5, chapter 6, chapter 7, chapter 8, chapter 9, chapter 10, chapter 11, chapter 12, chapter 13
• Advanced Functional Programming, online lectures by Ralf Lämmel: lecture 1, lecture 2, lecture 3, lecture 4, lecture 5
• Real World Haskell, book by Bryan O'Sullivan, Don Stewart, and John Goerzen, freely available online
• Haskell Kurs, deutsch, von Ralf Hinze
• Automatic generation of free theorems, our online generator (implementation described here)