Category: compilers
2026
-
Keleusma Research Spike: What Happens When Error Correction Meets a Signature Part 5 of 5 · Keleusma Research Spikes
-
Keleusma Research Spike: What It Costs to Compile a Data Structure Whose Shape Is Already Decided Part 4 of 5 · Keleusma Research Spikes
-
Keleusma Research Spike: What a Verified Bound Says About the Code That Actually Runs Part 3 of 5 · Keleusma Research Spikes
-
Keleusma Research Spike: When an Apparent Design Wart Is a Semantic Boundary Part 2 of 5 · Keleusma Research Spikes
-
Keleusma Research Spike: Blocking Frequency as the Ordering Principle for Instruction-Set Coverage Part 1 of 5 · Keleusma Research Spikes
-
Keleusma's Self-Hosting Strategy
-
The Stream Processor as Compiler and the Compiler as Stream Processor Part 12 of 12 · Streaming Compilers
-
When Multi-Pass Wins, Whole-Program Optimisation and Hindley-Milner Inference Part 11 of 12 · Streaming Compilers
-
Integrated Single-Pass versus Decomposed Pipeline Part 10 of 12 · Streaming Compilers
-
Symbol Tables, Scope Popping, and Bounded Working Memory Part 9 of 12 · Streaming Compilers
-
Declare-Before-Use and Forward Declarations Part 8 of 12 · Streaming Compilers
-
Fixup Tables and the Forward-Jump Problem Part 7 of 12 · Streaming Compilers
-
Coalgebraic Productivity and the Stream-Processor Analogy Part 6 of 12 · Streaming Compilers
-
Block-Structured Control Flow and Single-Pass Validation Part 5 of 12 · Streaming Compilers
-
Brinch Hansen's Pipeline-of-Processes Compilers Part 4 of 12 · Streaming Compilers
-
Turbo Pascal, the Closed-Source Demonstration Part 3 of 12 · Streaming Compilers
-
Wirth's Single-Pass Line, PL/0 through Oberon Part 2 of 12 · Streaming Compilers
-
Compilation as a Streaming Discipline Part 1 of 12 · Streaming Compilers