**Functional Programming** is with Lambdas (value-level)

**Function-level Programming** is without Lambdas (function-level)

**Function-level Algebra:** With the renunciation of lambda variables, an algebra and its rules emerge (if not? –> tell us Issues)

**“Can programming be liberated from the von Neumann style?
a functional style and its algebra of programs”**, Backus-Turing-Award-Lecture

- Function Level Programming and the FL Language, Video
- FL Language Manual, Parts 1 and 2
- Wikipedia: Function-level Programming
- Dirk Gerrits: John Backus
- dl.acm.org: Programming Language Semantics and Closed Applicative Languages
- dl.acm.org: Function Level Programs as Mathematical Objects
- SpringerLink: From function level semantics to program transformation and optimization
- MacLennan/POPL Chapter 10 page 359ff
- MacLennan/Functional Programming: Practice and Theory, borrow eBook, Page 221ff: Higher-Order Functions
- Instance variables, a way out of the variable abstinence –> “Why didn’t the ALGOL Committee” in EWD692
- Dijkstra EWD692: A review of the 1977 Turing Award Lecture by John Backus
- FP (english)
- Introduction to FL and PLaSM
- The FL Project: Design of a Functional Language

Oral History of John Backus

**Reactions on Grady Boochs instrumentalization of Backus statement**

- LtU: Advantages of Pointfree
- stack
**overflow**: Advantages and Disadvantages of Pointfree Style - Ultra Structured Programming

- Algebraic Identities for Program Calculation
- Point-Free Program Calculation
- Algebra of Programming
- Pearls of Functional Algorithm Design
- Bird-Meertens Formalism

- Factor
- OForth
- Joy
- Kitten
- PostScript
- Why Concatenative Programming Matters by Jon Purdy
- Wiki for concatenative.org

- Notation as a Tool of Thought – must read!
- Stages of Denial by John Earnest
- APL
- J
- K
- Q

- Interpreter in Java: INTERACTIVE FP and Help
- FP-Interpreter-in-Lisp and in GitHub
- Compiler to C: Furry Paws and in BitBucket
- to FL: PLaSM and Docs and Book: Introduction to FL and PLaSM
- FP-Interpreter in Delphi and in Lazarus
- Pointfrip Calculator for Android, (Engish and German help)
- Executable implementation of Joy and subset of Joy for graphics programming mjoy

Picture: (cc-by-sa-4.0) Wikipedia