Fortgeschrittene Funktionale Programmierung, Wintersemester 2012/13
Für die entsprechende Vorlesung im Wintersemester 2015/16, siehe hier.
Einträge im Vorlesungsverzeichnis:
Voraussetzung:
Gastvorlesungen:
- Stefan Mehner zum Thema "Haskell und Kategorientheorie - Gemeinsamkeiten und Unterschiede"
- Joachim Breitner zum Thema "Haskell Bytes - Eine geführte Tour durch den Hauptspeicher eines Haskell-Programms"
- Sebastian Fischer zum Thema "Curry Crash Course"
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 Philip 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
Online-Ressourcen:
- Haskell homepage
- Functional Programming Fundamentals, online lectures by Erik Meijer (based on the Programming in Haskell book by Graham Hutton):
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)