Yijia Chen

The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures

2024 · Proceedings of the ACM on Programming Languages

Deforestation is a compiler optimization that removes intermediate data structure allocations from functional programs to improve their efficiency. This is an old idea, but previous approaches have proved limited or impractical — they either only …