@article{progorn,
  title = "Programming with Ornaments",
  author = "Hsiang-Shang Ko and Jeremy Gibbons",
  year = "2016",
  journal = "Journal of Functional Programming",
  month = "December",
  url = "http://www.cs.ox.ac.uk/jeremy.gibbons/publications/progorn.pdf",
  volume = "27",
  doi = "10.1017/S0956796816000307",
}
@phdthesis{Ko-thesis,
  title = "Analysis and synthesis of inductive families",
  author = "Hsiang-Shang Ko",
  year = "2014",
  school = "University of Oxford",
  url = "https://github.com/josh-hs-ko/dissertation/raw/master/dissertation.pdf",
}
@misc{Ko-pcOrn-categorical,
  title = "Categorical organisation of the ornament–refinement framework",
  author = "Hsiang-Shang Ko and Jeremy Gibbons",
  year = "2013",
  howpublished = "Submitted to POPL'14",
  month = "July",
  url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/pcOrn-categorical/pcOrn-categorical.pdf",
}
@inproceedings{Ko-algOrn,
  title = "Relational algebraic ornaments",
  author = "Hsiang-Shang Ko and Jeremy Gibbons",
  year = "2013",
  booktitle = "Dependently Typed Programming",
  publisher = "ACM",
  series = "DTP'13",
  url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/algOrn/algOrn.pdf",
  doi = "10.1145/2502409.2502413",
}
@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",
}
@misc{Ko-transfer,
  title = "Datatype ornamentation and the Dutch National Flag problem",
  author = "Hsiang-Shang Ko",
  year = "2011",
  howpublished = "Transfer dissertation",
  month = "October",
  url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/DNF/transfer.pdf",
}
@inproceedings{Ko-OAOAOO,
  title = "Modularising inductive families",
  author = "Hsiang-Shang Ko and Jeremy Gibbons",
  year = "2011",
  booktitle = "Workshop on Generic Programming",
  pages = "13-24",
  publisher = "ACM",
  series = "WGP'11",
  url = "http://www.cs.ox.ac.uk/people/hsiang-shang.ko/OAOAOO/OAOAOO.pdf",
  doi = "10.1145/2036918.2036921",
}
@article{Mu-AoPA,
  title = "Algebra of Programming in Agda: Dependent Types for Relational Program Derivation",
  author = "Shin-Cheng Mu and Hsiang-Shang Ko and Patrik Jansson",
  year = "2009",
  journal = "Journal of Functional Programming",
  number = "5",
  pages = "545-579",
  url = "http://www.iis.sinica.edu.tw/~scm/2009/algebra-of-programming-in-agda-dependent-types-for-relational-program-derivation/",
  volume = "19",
  doi = "10.1017/S0956796809007345",
}
@inproceedings{Mu-AoPA-MPC,
  title = "Algebra of Programming using Dependent Types",
  author = "Shin-Cheng Mu and Hsiang-Shang Ko and Patrik Jansson",
  year = "2008",
  booktitle = "Mathematics of Program Construction",
  pages = "268-283",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  url = "http://www.iis.sinica.edu.tw/~scm/2008/algebra-of-programming-using-dependent-types/",
  volume = "5133",
  doi = "10.1007/978-3-540-70594-9_15",
}