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
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