atkey-2013-productive:
  type: article
  title: Productive coprogramming with guarded recursion
  author:
  - Atkey, Robert
  - McBride, Conor
  date: 2013-09
  page-range: 197-208
  serial-number:
    doi: 10.1145/2500365.2500597
  parent:
    type: proceedings
    title: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
    publisher: ACM