Coalgebras in functional programming and type theory

@article{Capretta2011CoalgebrasIF,
  title={Coalgebras in functional programming and type theory},
  author={Venanzio Capretta},
  journal={Theor. Comput. Sci.},
  year={2011},
  volume={412},
  pages={5006-5024}
}
This is a survey article on the use of coalgebras in functional programming and type theory. It presents the basic theory underlying the implementation of coinductive types, families and predicates. It gives an overview of the application of corecursive methods to the study of general recursion, formal power series, tabulations of functions on inductive… CONTINUE READING