@article{Ko-pcOrn, title = "Modularising inductive families", author = "Hsiang-Shang Ko and Jeremy Gibbons", year = "2013", journal = "Progress in Informatics", number = "10", pages = "65-88", url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/pcOrn/pcOrn.pdf", doi = "10.2201/NiiPi.2013.10.5", }