Clemens Grabmayer, Jan Rochel. Maximal sharing in the Lambda calculus with letrec. In Johan Jeuring, Manuel M. T. Chakravarty, editors, Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014. pages 67-80, ACM, 2014. [doi]
Abstract is missing.