@inproceedings{Ko-OAOAOO,
  title = "Modularising inductive families",
  author = "Hsiang-Shang Ko and Jeremy Gibbons",
  year = "2011",
  booktitle = "Workshop on Generic Programming",
  editor = "Jaakko Järvi and Shin-Cheng Mu",
  month = "September",
  pages = "13-24",
  url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/OAOAOO/OAOAOO.pdf",
}