Nächste Seite:
Motivation
Aufwärts:
Compilerbau Vorlesung Wintersemester 2008,
Vorherige Seite:
Typen und Daten
Typ-Rekonstruktion
Unterabschnitte
Motivation
Realisierung mit Constraints
Substitutionen (Definition)
Substitutionen: Produkt
Substitutionen: Ordnung
Unifikation--Definition
Unifikation--Algorithmus
Unifikation--Komplexität
Inferenzregeln f. Rekonstruktion (Plan)
Inferenzregeln f. Rekonstrukion
Rekonstruktion polymorpher Typen
Implementierung
Johannes Waldmann 2011-01-23