Skip to content
sahil.science
Questions
Papers
Topics
Syntheses
Almanac
About
C⁶
2026
← Questions
Source-derived question
Why did Howard's 1969 note take over a decade to reach publication, and how did it influence programming language theory?
Mathematical Logic and Foundations
Programming Languages
Sources that address it
Death of William Alvin Howard
almanac
Related questions
How did FORTRAN change who could do scientific computing, from specialist to profession?
How did Rabin and Scott's result seed later work on regular expressions and the P versus NP problem?
How did Vladimir Voevodsky's homotopy theory for algebraic varieties let him prove Milnor's conjecture?
How did the ideas in Simula spread into Smalltalk, C++, and Java over the following decades?
How do modern proof assistants like Coq and Lean rely on the Curry-Howard correspondence to verify mathematical proofs?
How does APL's array-based approach let one line replace dozens of lines of conventional code?
How does temporal logic let you express properties like 'the system will eventually respond' with mathematical precision?
How does the Java Virtual Machine let the same compiled code run on different processors?