# Gems of Corrado B\"ohm

## TL;DR

This paper reviews Corrado B"ohm's key contributions to computing, including self-compiling compilers, structured and functional programming, and foundational models of computability, highlighting their historical and theoretical significance.

## Contribution

It presents a comprehensive overview of B"ohm's pioneering ideas and algorithms that have shaped modern programming and computability theory.

## Key findings

- Development of a self-compiling compiler
- Introduction of structured programming eliminating 'goto'
- Early implementation of functional programming

## Abstract

The main scientific heritage of Corrado B\"ohm 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 {\lambda}-calculus. 5. Compiling combinators without parsing. 6. Self-evaluation in {\lambda}-calculus.