The under-performing unfold: a new approach to optimising corecursive programs
(2013)
Presentation / Conference Contribution
Hackett, J., Hutton, G., & Jaskelioff, M. The under-performing unfold: a new approach to optimising corecursive programs. Presented at International Symposium on Implementation and Application of Functional Languages (25th)
This paper presents a new approach to optimising corecursive programs by factorisation. In particular, we focus on programs written using the corecursion operator unfold. We use and expand upon the proof techniques of guarded coinduction and unfold f... Read More about The under-performing unfold: a new approach to optimising corecursive programs.