Rekursion

abstrakt:

data Exp = ...
         | Rec Name Exp

Semantik von Rec n b in Umgebung E

ist der Fixpunkt der Funktion (vom Typ Val Val)

λc.Semantik von b in E[n/c]



Johannes Waldmann 2012-01-30