VL: Kalküle der Programmiersprachen
VL	H.Peter Gumm
	Dienstags 16.15 - 16 Uhr, HS III (MMR)
	Beginn: Di., 20.04.2004
UE	Jörn Abels Mi., 16.00-17.30 Uhr, HS III - oder n.V.
Zettel

Voraussetzungen:	Grundstudium
Inhalt:	Lambda-Kalkül  Syntax, Semantik, Reduktion Normalformen Extensionalität Funktionen und Daten Turing-Vollständigkeit Kombinatoren Compilation in Kombinatoren Graphreduktion Typentheorie Einfach getypter Lambda-Kalkül Typinferenz Curry-Howard Isomorphismus Polymorpher Lambda-Kalkül Das Typsystem von ML Unifikation Hindley/Milner Typinferenz Generische Typisierung in OO-Sprachen ML Generics in Java 1.5 Das Typsystem von Scala Codatentypen und Coinduktion
Literatur und Ressourcen	Skriptum auf Laufwerk Lehre Michael Gordon: Programming Language Theory, Application and Implementation. Andrew M. Pitts: Lecture Notes on Types OCaMl - Programmiersprache und Documentation. Scala - Programmiersprache und Dokumentation Luca Cardelli,Peter Wegner: On understanding Types, Data Abstraction, and Polymorphism.
Skript :	ja
Zielgruppe:	Studierende der Studiengänge  Informatik (Diplom oder Lehramt)  Mathematik (Diplom der Lehramt)

Fachgebiet	Klassifikation	Semester	Fortsetzung	Skript
Theor. Informatik	Hauptstudium	>4	nein	ja

---