Links

Interne Links:

	Email an den Autoren
	Download dieses Seminars inkl. Quellcode und Präsentations-PDF

Weitere Links:

	Fachhochschule Wedel	http://www.fh-wedel.de
	Prof. Dr. Uwe Schmidt	http://www.fh-wedel.de/~si
	Alle Seminarthemen	http://www.fh-wedel.de/~si/seminare/ss11/Termine/Themen.html
	Phantom Types im Wikibook	http://en.wikibooks.org/wiki/Haskell/Phantom_types
	Phantom Types im Haskell Wiki	http://www.haskell.org/haskellwiki/Phantom_type
	Introduction to Agda (Videos)	http://www.youtube.com/playlist?p=B7F836675DCE009C
	Fun with Type Functions	http://www.haskell.org/haskellwiki/Simonpj/Talk:FunWithTypeFuns
	GADTs im Haskell Wiki	http://www.haskell.org/haskellwiki/GADT
	GADTs for Dummies (für Dummies kaum geeignet)	http://www.haskell.org/haskellwiki/GADTs_for_dummies
	GADTs als Wikibook	http://en.wikibooks.org/wiki/Haskell/GADT