@article{Jeannin_2017,
    doi = {10.3233/fi-2017-1473},
    url = {https://doi.org/10.3233%2Ffi-2017-1473},
    year = {2017},
    month = {mar},
    publisher = {{IOS} Press},
    volume = {150},
    number = {3-4},
    pages = {347--377},
    author = {Jean-Baptiste Jeannin and Dexter Kozen and Alexandra Silva},
    editor = {David Baelde and Arnaud Carayol and Ralph Matthes and Igor Walukiewicz},
    title = {{CoCaml}: Functional Programming with Regular Coinductive Types},
    journal = {Fundamenta Informaticae}
}

@article{Jeannin_2017, doi = {10.3233/fi-2017-1473}, url = {https://doi.org/10.3233%2Ffi-2017-1473}, year = {2017}, month = {mar}, publisher = {{IOS} Press}, volume = {150}, number = {3-4}, pages = {347--377}, author = {Jean-Baptiste Jeannin and Dexter Kozen and Alexandra Silva}, editor = {David Baelde and Arnaud Carayol and Ralph Matthes and Igor Walukiewicz}, title = {{CoCaml}: Functional Programming with Regular Coinductive Types}, journal = {Fundamenta Informaticae} }