@inproceedings{atkey-2013-productive, series={ICFP′13}, title={Productive coprogramming with guarded recursion}, url={http://dx.doi.org/10.1145/2500365.2500597}, DOI={10.1145/2500365.2500597}, booktitle={Proceedings of the 18th ACM SIGPLAN international conference on Functional programming}, publisher={ACM}, author={Atkey, Robert and McBride, Conor}, year={2013}, month=Sept, pages={197–208}, collection={ICFP′13} }