Rekursion

abstrakt:

data Exp = ...
| Recursion { rname :: S.Id, body :: Exp }

konkret:

(rec n b)


Semantik von rec n b in Umgebung E

ist der Fixpunkt (vom Typ Comp)

der Funktion (vom Typ Comp Comp)

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



2010-10-12