Ziele:
Schema typisierter Definitionen verstehen

im Vorlesungsteil:
Erläuterungen mit Beispielen der Core-Spezifikation

nachlesen:
Dokumentation des Moduls Typing

Übungsaufgaben:
Arbeiten sie in der Core-Spezifikation die I-Aufgaben bis vor den Abschnitt "Operatoren in Ausdrücken" durch.

Verständnisfragen:

• Geben Sie Beispiele, für die Notwendigkeit einer Kind-Eigenschaft.