data-types-algebra-parametricity-optics.bib

@inproceedings{danielsson2006fast,
  title={Fast and loose reasoning is morally correct},
  author={Danielsson, Nils Anders and Hughes, John and Jansson, Patrik and Gibbons, Jeremy},
  booktitle={ACM SIGPLAN Notices},
  volume={41},
  number={1},
  pages={206--217},
  year={2006},
  organization={ACM}
}

@inproceedings{wadler1989theorems,
  title={Theorems for free!},
  author={Wadler, Philip},
  booktitle={Proceedings of the fourth international conference on Functional programming languages and computer architecture},
  pages={347--359},
  year={1989},
  organization={ACM}
}