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