jeannin-2017-cocaml:
  type: article
  title: 'CoCaml: Functional Programming with Regular Coinductive Types'
  author:
  - Jeannin, Jean-Baptiste
  - Kozen, Dexter
  - Silva, Alexandra
  date: 2017-03
  editor:
  - Baelde, David
  - Carayol, Arnaud
  - Matthes, Ralph
  - Walukiewicz, Igor
  page-range: 347-377
  url: http://dx.doi.org/10.3233/fi-2017-1473
  serial-number:
    doi: 10.3233/fi-2017-1473
    issn: 1875-8681
  parent:
    type: periodical
    title: Fundamenta Informaticae
    publisher: SAGE Publications
    issue: 3–4
    volume: 150