| | | Functional programming | Documentation and user's manual | Table of contents | OCaml programs |
| Functional programming: a computation is viewed as the application of a mathematical function. |
| Functional programming avoids state and mutable data (whereas imperative programming emphasizes changes in state and the execution of sequential commands). |
| Lambda-calculus provides a theoretical framework for describing functions and their application. |
| | | Functional programming | Documentation and user's manual | Table of contents | OCaml programs |