Higher-order demand-driven symbolic evaluation. - Zachary Palmer; Theodore Park; Scott F. Smith 001; Shiwei Weng (Proc. ACM Program. Lang., 2020)