Abstrakte Datentypen und das Typsystem
von Haskell
... [Seminar
"Funktionale Programmierung"] ... [Inhaltsübersicht]
... [Abstrakte Datentypen] ...
8. Literaturliste
Bücher
[1] Simon Thompson, The Craft of Functional Programming, Addison-Wesley
1999
[2] Paul Hudak, The Haskell School of Expression
Online
[3] A Gentle Introduction to Haskell, http://haskell.cs.yale.edu/tutorial/
[4] Haskell Kurs der Uni Bonn, http://www.informatik.uni-bonn.de/~ralf/teaching/Hskurs_toc.htm
[5] Robert Günz, Automatische Verfikation von Gleicheitsbeweisen in
Haskell, http://www.infosun.fmi.uni-passau.de/cl/arbeiten/guenz.ps.gz
[6] Informatik IIIb, Vorlesungsskript von Prof. Dr. R. Loogen der
Phillips-Universität Marburg, http://www.mathematik.uni-marburg.de/~loogen/Skripten/inf3bTeil2.ps
... [Seminar
"Funktionale Programmierung"] ... [Inhaltsübersicht]
... [Abstrakte Datentypen] ...