Nächste Seite:
Bedarfsauswertung (lazy evaluation)
Aufwärts:
Parameterübergabe (call by ...)
Vorherige Seite:
Call by name
Simulation von CBN in CBV
CBN:
Name
n
bezeichnet Aktion
A
CBV:
Name
n
gebunden an
λx
.
A
Benutzung des Namens:
n
()
Johannes Waldmann 2011-01-23
