- John Backus began exploring functional programming languages before 1969, motivated by the software crisis and his earlier success with FORTRAN.
- He developed the Red language (1972) as a variable-free, reduction-based system using combining forms and function composition.
- His 1977 ACM Turing Award lecture introduced FP (Functional Programming) and an algebra of programs, criticizing the von Neumann bottleneck in conventional languages.
- The project involved collaborations with researchers like Dines Bjørner, Paul McJones, John H. Williams, and Edward L. Wimmers, leading to languages such as FL.
- Despite mixed reactions from Dijkstra and others, Backus's work influenced many areas including parallel computation, database querying, and VLSI design, with over 2000 citations by 2026.