Artifact for Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl)

Read full text
Authors: Guannan Wei, Jun Tan, Dinghong Zhong
Cited by: 1

Abstract

Source code accompanying the accepted ICFP 2026 paper "Let It Be Optimized: Building Multi-Stage Evaluators with Let-Insertion and Optimizations in Small Pieces (Functional Pearl)". Files: let-it-be-optimized-artifact.zip: Source code for the evaluators for staged evaluation. vm.zip: A virtual machine with the source code, Scala/JDK runtime, and the standard library preinstalled. To use the VM: Extract vm.zip. Follow the instructions in the included README file.

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
4 June 2026