Nächste Seite:
Grundlagen
Aufwärts:
Compilerbau Vorlesung Wintersemester 2008
Vorherige Seite:
Lambda-Kalkül und Computeralgebra
Typen
Unterabschnitte
Grundlagen
Deklaration und Inferenz
Polymorphie
Inferenz Polymorpher Typen
Unifikation--Begriffe
Unifikation--Definition
Unifikation--Algorithmus
Beispiel zur Polymorphie (I)
Beispiel zur Polymorphie (II)
System F
Rang-(2/N)-Polymorphie in GHC
Eigenschaften polym. Typsyst.
Unifikation höherer Ordnung
Typen und Terme
2009-11-20
