@inproceedings{ringads,
  title = "Comprehending Ringads: For Phil Wadler, on the Occasion of his 60th Birthday",
  author = "Jeremy Gibbons",
  year = "2016",
  booktitle = "A List of Successes That Can Change the World",
  month = "April",
  pages = "132-151",
  publisher = "Springer",
  series = "LNCS",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/ringads.pdf",
  volume = "9600",
  doi = "10.1007/978-3-319-30936-1_7",
}