Shortcut fusion for accumulating parameters & zip-like functions

Josef Svenningsson
2002 Proceedings of the seventh ACM SIGPLAN international conference on Functional programming - ICFP '02  
We present an alternative approach to shortcut fusion based on the function unfoldr. Despite its simplicity the technique can remove intermediate lists in examples which are known to be difficult. We show that it can remove all lists from definitions involving zip-like functions and functions using accumulating parameters.
doi:10.1145/581478.581491 dblp:conf/icfp/Svenningsson02 fatcat:immnem2pobdf7ox4twqxv5acyy