Gems of Corrado Böhm
arXiv:1812.02243 · doi:10.23638/LMCS-16(3:15)2020
Abstract
The main scientific heritage of Corrado Böhm consists of ideas about computing, concerning concrete algorithms, as well as models of computability. The following will be presented. 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.