@article{jeannin-2017-cocaml, title={CoCaml: Functional Programming with Regular Coinductive Types}, volume={150}, ISSN={1875-8681}, url={http://dx.doi.org/10.3233/fi-2017-1473}, DOI={10.3233/fi-2017-1473}, number={3-4}, journal={Fundamenta Informaticae}, publisher={SAGE Publications}, author={Jeannin, Jean-Baptiste and Kozen, Dexter and Silva, Alexandra}, editor={Baelde, David and Carayol, Arnaud and Matthes, Ralph and Walukiewicz, Igor}, year={2017}, month=Mar, pages={347–377} }