Venue. Fundamenta Informaticae Fundamenta Informaticae · Journal · SAGE Publications 2017 CoCaml: Functional Programming with Regular Coinductive Types jeannin-2017-cocamlFundamenta Informaticae · 2017 DOI