Gems of Corrado Böhm
The main scientific heritage of Corrado Böhm is about computing, both concerning concrete algorithms as well as concerning models of computability. Discussed will be the following. 1. A compiler that can compile itself. 2. Structured programming, eliminating the `goto' statement. 3. Functional programming and an early implementation. 4. Separability in λ-calculus. 5. Compiling combinators without parsing. 6. Self-evaluation in λ-calculus.
READ FULL TEXT