Si bien la propuesta de Backus data de los años 70, su adopción por la comunidad de programación funcional ha sido limitada, al gozar de mayor popularidad el cálculo Lambda.