Modularising inductive families.

Hsiang-Shang Ko, Jeremy Gibbons

Browse the full ICFP paper archive.