Thread
Stories related to "lambda-8cc: An x86 C compiler written in untyped lambda calculus" across the full archive.
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions (2000)
(web.stanford.edu)
Abstract: "Systems software such as OS kernels, embedded systems, and libraries must obey many rules for both correctness and performance... This paper attacks this problem by... meta-level compilation to write simple, system-specific compiler extensions that automatically check their code for rule ...
BrainCoqulus: A Formally Verified Optimizing Compiler of Lambda Calculus to Brainfuck
(read.seas.harvard.edu)
Abstract: "We investigate compilation and verification techniques for functional language compilers by developing and verifying a toy optimizing compiler from the untyped lambda calculus to Brainfuck. Our key optimization is provisional type inference, in which the compiler guesses the latent type o...
Hi Lobsters,
As context for my question; DSLs, "Little Language" and such get considerable attention these days. Usually these are languages for a purpose that you expect to use repeatedly in single domain. You create parser, turn the AST into actual semantics and etc. The resulting interpreter ...
An old language from '90s, [Mercat](http://cowlark.com/mercat/) which has a full recursive descent [bootstrap compiler in AWK](http://cowlark.com/mercat/com.awk.txt).
Right now, this site seems pretty rough and not sure how much you'd want in the browser. But hey, it's shiny, right? (Also - no git/hg support!)