Kollár, J. et al. 2012. From Eager PFL to Lazy Haskell. Computing and Informatics. 25, 1 (Jan. 2012), 61–80.