Jeannin, J-B;
Kozen, D;
Silva, A;
(2017)
CoCaml: Functional Programming with Regular Coinductive Types.
Fundamenta Informaticae
, 150
(3-4)
pp. 347-377.
10.3233/FI-2017-1473.