?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.aulast=Jeannin&rft.aufirst=J-B&rft.au=Jeannin%2C+J-B&rft.atitle=CoCaml%3A+Functional+Programming+with+Regular+Coinductive+Types&rft.volume=150&rft.date=3+March+2017&rft.pages=347-377&rft.issn=0169-2968&rft.title=Fundamenta+Informaticae&rft.issue=3-4&rft.genre=article