Reusability and Dependent Types: Publications

Click here to download all publications in a single bibtex file

@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",
}

@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",
}

@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",
}

@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",
}