A. Abel, B. Pientka, D. , and A. Setzer, Copatterns: programming innnite structures by observations, 42nd ACM SIGPLAN conference on Principle of Programming Languages, pp.27-38, 2013.

M. Andreas, B. Abel, and . Pientka, Wellfounded recursion with copatterns: A uniied approach to termination and productivity, 18th ACM SIGPLAN International Conference on Functional Programming, pp.185-196, 2013.

J. Conway, e game of life, Scientiic American, vol.223, issue.4, 1970.

. Coq and . Team, e Coq proof assistant reference manual. LogiCal Project, 2009.

C. Elioo, Sequences, streams, and segments hhp://conal.net/ blog/posts/sequences-streams-and-segments, 2008.

J. Garrigue and D. Rémy, Semi-Explicit First-Class Polymorphism for ML, Information and Computation, vol.155, issue.1-2, pp.134-169, 1999.
DOI : 10.1006/inco.1999.2830
URL : https://doi.org/10.1006/inco.1999.2830

J. Jeannin, D. Kozen, and A. Silva, CoCaml: Functional Programming with Regular Coinductive Types, Fundamenta Informaticae, vol.150, issue.3-4, pp.347-377, 2017.
DOI : 10.3233/FI-2017-1473

M. Lenisa, J. Power, and H. Watanabe, Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads, Electronic Notes in Theoretical Computer Science, vol.33, pp.230-260, 2000.
DOI : 10.1016/S1571-0661(05)80350-0
URL : https://doi.org/10.1016/s1571-0661(05)80350-0

X. Leroy, D. Doligez, A. Frisch, and J. Garrigue, Didier Rémy, and Jérôme Vouillon. 2014. e OCaml system release 4.02: Documentation and user's manual, 2014.

R. Daniel, N. Licata, R. Zeilberger, and . Harper, Focusing on binding and computation, Logic in Computer Science, 2008. LICS'08. 23rd Annual IEEE Symposium on. IEEE, pp.241-252, 2008.

U. Norell, Dependently Typed Programming in Agda In 4th International Workshop on Types in Language Design and Implementation (TLDI '09), pp.1-2, 2009.

D. Piponi, Evaluating cellular automata is comonadic, Blog post, vol.12, 2006.

A. Setzer, A. Abel, B. Pientka, and D. Ibodeau, Unnesting of copaaerns, International Conference on Rewriting Techniques and Applications, pp.31-45, 2014.
DOI : 10.1007/978-3-319-08918-8_3

A. David-ibodeau, B. Cave, and . Pientka, Indexed codata types, 21st ACM SIGPLAN International Conference on Functional Programming, pp.351-363, 2016.

H. Xi, C. Chen, and G. Chen, Guarded recursive datatype constructors, 32nd ACM SIGPLAN conference on Principle of Programming Languages, pp.224-235, 2003.
DOI : 10.1145/604131.604150
URL : http://www.church-project.org/reports/electronic/./Xi+Chen+Chen:POPL-2003.pdf.gz

N. Zeilberger, Focusing and higher-order abstract syntax, 35th ACM SIGPLAN conference on Principle of Programming Languages, pp.359-369, 2008.
DOI : 10.1145/1328438.1328482