Nuprl Definition : eager-accum
eager-accum(x,a.f[x; a];y;l) ==
fix((λeager-accum,y,l. if l = Ax then y otherwise let h,t = l in let z ⟵ f[y; h] in eager-accum z t)) y l
Definitions occuring in Statement :
callbyvalueall: callbyvalueall,
isaxiom: if z = Ax then a otherwise b,
apply: f a,
fix: fix(F),
lambda: λx.A[x],
spread: spread def
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x],
isaxiom: if z = Ax then a otherwise b,
spread: spread def,
callbyvalueall: callbyvalueall,
apply: f a
FDL editor aliases :
eager-accum
Latex:
eager-accum(x,a.f[x; a];y;l) ==
fix((\mlambda{}eager-accum,y,l. if l = Ax then y otherwise let h,t = l
in let z \mleftarrow{}{} f[y; h]
in eager-accum z t))
y
l
Date html generated:
2017_09_29-PM-05_50_26
Last ObjectModification:
2017_06_01-PM-00_25_04
Theory : list_0
Home
Index