Media Summary: Implementing records with functional update. General strategy for interpreting function calls in Curly using substitution. Introduction on parsing from concrete Curly syntax to abstract-syntax `Exp`.
Plait Variable 3 Interp - Detailed Analysis & Overview
Implementing records with functional update. General strategy for interpreting function calls in Curly using substitution. Introduction on parsing from concrete Curly syntax to abstract-syntax `Exp`. Our second step in understaning the `letrec` encoding is to separate the part of the factorial function's implementation that is not ... The new Curly grammar and some examples to explore how `
