Type fixpoints: Iteration vs. recursion (1999)

by Z Splawski, P Urzyczyn
Venue:Proc. 4th International Conference on Functional Programming, ACM