Nuprl Definition : ml-accumulate
ml-accumulate(f;b;l) == fix((λaccumulate,f,b,l. if null(l) then b else let a.as = l in accumulate(f)(f(b)(a))(as) fi ))\000C(f)(b)(l)
Definitions occuring in Statement :
spreadcons: spreadcons,
ml_apply: f(x),
null: null(as),
ifthenelse: if b then t else f fi ,
fix: fix(F),
lambda: λx.A[x]
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
null: null(as),
spreadcons: spreadcons,
ml_apply: f(x)
FDL editor aliases :
ml-accumulate
Latex:
ml-accumulate(f;b;l) ==
fix((\mlambda{}accumulate,f,b,l. if null(l) then b else let a.as = l in accumulate(f)(f(b)(a))(as) fi ))(f)\000C(b)(l)
Date html generated:
2017_09_29-PM-05_51_02
Last ObjectModification:
2017_05_10-PM-06_51_13
Theory : ML
Home
Index