Replication and formalization of (Co)Church encoded shortcut fusion: Master's Thesis

When writing functional code that composes multiple recursive functions that operate on a datastrcuture, we often incur a lot of computational overhead allocating memory, only to later read, use, and discard this information.<br/>This can be alleviated using fusion, a technique that combines these multiple recursive datastructure traversals into...