Search whole site: site:doi.org
Search title: The Long Way to Deforestation: A Type Inference and Elaboration Technique for Removing Intermediate Data Structures | Proceedings of the ACM on Programming Languages
See how to search.