@article{erato,
  title = "Turner, Bird, Eratosthenes: The Eternal Burning Thread",
  author = "Jeremy Gibbons",
  year = "2023",
  journal = "Journal of Functional Programming",
  month = "December",
  note = "under submission",
  url = "https://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/erato.pdf",
}