Eelco Dolstra presented the paper “Maximal Laziness — An Efficient Interpretation Technique for Purely Functional DSLs” at 8th Workshop on Language Description, Tools and Applications (LDTA 2008). It’s about caching of evaluation results in the Nix expression evaluator as a technique to make a simple term-rewriting evaluator efficient. Slides are here.