🦞🌯 Lobster Roll

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...

Abstract: "The λ-calculus is popular as an intermediate language for practical compilers. But in the world of logic it has a lesser-known twin, born at the same time, called the sequent calculus. Perhaps that would make for a good intermediate language, too? To explore this question we designed ...

In-depth article about using [sweet.js](https://github.com/mozilla/sweet.js), a macro library for Javascript.

Would it be useful to folks to have a compilers tag? I'm certainly interested in reading articles about compilers but their harder to find when scattered across different languages or in the catch-all compsci tag. Here's the [original suggestion for this tag](https://lobste.rs/s/hpsyea/why_is_it_...

http://cr.yp.to/talks/2015.04.16/slides-djb-20150416-a4.pdf http://cr.yp.to/talks/2015.04.16/slides-djb-20150416-4x3.pdf http://cr.yp.to/talks/2015.04.16/audio.ogg

Reason for edit: I realized the title was somewhat misleading; the title was originally "To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism," but the link only included one of the papers from the publication, "Optimal Reductions for Lambda Calculus"