Koen Claessen. Shrinking and showing functions (functional pearl). In Janis Voigtländer, editor, Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012. pages 73-80, ACM, 2012. [doi]
Abstract is missing.