CoCaml v.2 release notes Added support for coalgebraic types and the corec construct. See Jean-Baptiste Jeannin, Dexter Kozen, and Alexandra Silva, CoCaml: Programming with coinductive types. Technical Report http://hdl.handle.net/1813/30798, Computing and Information Science, Cornell University, December 2012.