@article{capretta:2011,
  author  = {Venanzio Capretta},
  title   = {Coalgebras in functional programming and type theory},
  journal = {Theoretical Computer Science},
  volume  = {412},
  number  = {38},
  pages   = {5006--5024},
  year    = {2011},
  note    = {CMCS Tenth Anniversary Meeting},
  issn    = {0304-3975},
  doi     = {10.1016/j.tcs.2011.04.024},
  url     = {http://www.sciencedirect.com/science/article/pii/S0304397511003227}
}