Information zur Lehrveranstaltung (Studiengang Informatik -
Fachgebiet Theorie der Programmierung)
Lehrbeauftragte: Dr. Monika Sturm
Die Lehrveranstaltung thematisiert die semantischen Grundkonzepte getypter
funktionaler Programmiersprachen (z.B. Haskell). Das sind: der
Lambda-Kalkül als Programmiersprache, der getypte Lambda-Kalkül (nach
Church und Curry), der polymorphe Lambda-Kalkül zweiter Ordnung, der polymorphe Lambda-Kalkül dritter Ordnung, der Lambda-Würfel,
polymorphe Datentypen und Funktionen, Typsysteme und Typklassen,
verzögerte Auswertung, funktionale Parser, Verifikation und
Programmtransformation und Monaden.
Informationen zum Beginn der Lehrveranstaltung im WS 2009/2010 am 12.10.2009
Die Lehrveranstaltung beginnt mit der ersten
Lehrveranstaltungswoche. Die erste Vorlesung findet am Montag, den 12.10.2009 in der
2. DS (INF/E07) statt. Zu den Modalitäten des Übungsbetriebes
(Donnerstags, 2.DS, INF/E09)
wird in der ersten Lehrveranstaltung informiert.
Es besteht die Möglichkeit, inhaltliche und
organisatorische Fragen zur Lehrveranstaltung innerhalb einer Mailingliste
zu diskutieren.
Lehrmaterial
Vorlesungsunterlagen werden an dieser Stelle
aktuell zur Verfügung gestellt.
Vorlesung Kapitel 1, 12.10.09 (ps) (pdf)
Vorlesung Kapitel 2 (Teil 1), 15.10.09 / 22.10.09 (ps) (pdf)
Vorlesung Kapitel 2 (Teil 2), 22.10.09 / 29.10.09 (ps) (pdf)
Vorlesung Kapitel 2 (Teil 3), 29.10.09 / 02.11.09 (ps) (pdf)
Vorlesung Kapitel 2 (Teil 4), 07.11.09 (ps) (pdf)
Vorlesung Kapitel 3, 16.11.09 (ps) (pdf)
Vorlesung Kapitel 4, 19.11.09 / 26.11.09 (ps) (pdf)
Vorlesung Kapitel 5, 30.11.09 / 03.12.09 (ps) (pdf) (akt. Version 07.12.09)
Vorlesung Kapitel 5, 14.12.09 (ps) (pdf)
Vorlesung Kapitel 6, 04.01.10 / 07.01.10 / 11.01.10 / 18.01.10 (ps) (pdf) Version (zusätzlich Vorlesungsbeispiele, binäre Maximumfunktion)
Vorlesung Kapitel 7, 21.01.10 / 25.01.10 (ps) (pdf)
Vorlesung Kapitel 8, 28.01.10 (ps) (pdf) (akt. Version 01.02.10)
Übungsaufgaben
Übungsaufgaben sind im Vorfeld der jeweiligen
Übung auf dieser Seite zu finden und selbständig auszuarbeiten. In
den Übungen erfolgt die Diskussion der studentischen
Lösungen.
Literatur
Die hier erwähnte Literatur kann zum Teil über den
WebOPAC der SLUB gefunden werden.
- H. P. Barendregt, The Lambda Calculus - Its Syntax and Semantics, Studies in logics and the foundations of mathematics, Vol. 103, Elsevier Science Publishers B.V., 1985
- H. P. Barendregt, Lambda Calculi with Types, in: S. Abramsky, Dov. M. Gabbay, T. S. E. Maibaum, Handbook of Logic in Computer Science, Vol. 1: Background - Mathematical Structures, 1992
- Anthony J. Field, Peter G. Harrison, Functional Programming, Addison-Wesley, 1988
- Paul Hudak, Conception, Evolution, and Application of Functional Programming Languages, ACM Computing Surveys, Vol. 21, No. 3, September 1989
- Peter Thiemann, Grundlagen der funktionalen Programmierung, B. G. Teubner, 1994
- Simon Thompson, Haskell - The Craft of Functional Programming, Addison-Wesley, 1999
- Peter Pepper, Funktionale Programmierung in OPAL, ML, HASKELL und GOFER, Springer, 1999
- Chris Reade: Elements of Functional Programming, Addison-Wesley, 1989
- M. Gordon, Programming Language - Theory and its Implementation, Prentice Hall, 1988
- Two Dozen Short Lessons in Haskell, Rex Page
- The Haskell Bookshelf
Dokumentationen
Implementierungen
Foren
Letzte Änderung: Friday, 23-Dec-2016 10:56:34 CET
![[TU Dresden]](tu-logo.gif){kind=logo}