深入理解相继式演算 (arxiv.org)

这篇论文介绍了λμμ-演算，这是一种用于相继式演算的术语分配系统，由于其对评估上下文的首类表示，它是编译器中间语言的良好基础。作者通过编写一个从小而有趣的表面语言到λμμ-演算的编译器，将其作为编译器中间语言，从而使编译器爱好者和编程语言爱好者更容易理解相继式演算。