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]
@inproceedings{BolingbrokeJV11,
title = {Termination combinators forever},
author = {Maximilian C. Bolingbroke and Simon L. Peyton Jones and Dimitrios Vytiniotis},
year = {2011},
doi = {10.1145/2034675.2034680},
url = {http://doi.acm.org/10.1145/2034675.2034680},
researchr = {https://researchr.org/publication/BolingbrokeJV11},
cites = {0},
citedby = {0},
pages = {23-34},
booktitle = {Proceedings of the 4th ACM SIGPLAN Symposium on Haskell, Haskell 2011, Tokyo, Japan, 22 September 2011},
editor = {Koen Claessen},
publisher = {ACM},
isbn = {978-1-4503-0860-1},
}