Maximilian C. Bolingbroke, Simon L. Peyton Jones, Dimitrios Vytiniotis. Termination combinators forever. In Koen Claessen, editor, Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011. pages 23-34, ACM, 2011. [doi]
Abstract is missing.