Gems of Corrado Bรถhm

December 05, 2018 ยท The Ethereal ยท ๐Ÿ› Log. Methods Comput. Sci.

๐Ÿ”ฎ THE ETHEREAL: The Ethereal
Pure theory โ€” exists on a plane beyond code

"No code URL or promise found in abstract"

Evidence collected by the PWNC Scanner

Authors Henk P. Barendregt arXiv ID 1812.02243 Category cs.LO: Logic in CS Cross-listed cs.PL Citations 0 Venue Log. Methods Comput. Sci. Last Checked 5 months ago
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.
Community shame:
Not yet rated
๐Ÿ“„ View on arXiv ๐ŸŒ View on ar5iv ๐Ÿ“‘ PDF ๐ŸŽ‰ Report Code Found
Community Contributions

Found the code? Know the venue? Think something is wrong? Let us know!

๐Ÿ“œ Similar Papers

In the same crypt โ€” Logic in CS