HackerPapers

arXiv:1812.02243cs.LO

Gems of Corrado Böhm

Henk P. Barendregt

HN submission. Found in a submission link or body. Submitters do not count as commenters in the main ranking; a submission is not an endorsement.

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.

arXiv comments
Journal reference
Logical Methods in Computer Science, Volume 16, Issue 3 (September 2, 2020) lmcs:5018
DOI
doi:10.23638/LMCS-16(3:15)2020
Subjects
cs.LOLogic in Computer Science cs.PLProgramming Languages

On Hacker News

No comments linking this paper were found in the collected sources. Found in 2 HN submissions from Dec 2018 to Mar 2022. Open submission discussions.

Comments linking this paper, per year.

Discussed in comments0 threads

No comments linking this paper were found in the collected sources. Open submission discussions.

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.