Shplait Lambda 3 Syntax And Evaluation

Summary

Representing `fun` forms and motivating the associated generalization of application forms. Distinguishing expressions from values, and treating functions as values. Parsing for Moe with `fun` expressions and the revised `Exp` datatype. The λ-calculus is an even simpler language than Moe. It's a Turing-complete language that was invented by Alonzo Church in the ... Adds let expressions (or let bindings, or let-in expressions) to our Our second step in understanding the letrec encoding is to separate the part of the factorial function's implementation that is not ... Our encoding of `letrec` works for functions, but it's not as general as `letrec` in A practical introduction to the Implementing the `subst` function to be used by `interp`. Models, programs and bidirectional transformations Historically there has - surprisingly, perhaps - been something of a gulf ...