Reusability and Dependent Types: Publications
Journal papers
-
[1]
Programming with Ornaments
Hsiang−Shang Ko and Jeremy Gibbons
In Journal of Functional Programming. Vol. 27. December, 2016.
Details about Programming with Ornaments | BibTeX data for Programming with Ornaments | DOI (10.1017/S0956796816000307) | Download (pdf) of Programming with Ornaments
-
[2]
Modularising inductive families
Hsiang−Shang Ko and Jeremy Gibbons
In Progress in Informatics. No. 10. Pages 65−88. 2013.
Details about Modularising inductive families | BibTeX data for Modularising inductive families | DOI (10.2201/NiiPi.2013.10.5) | Download (pdf) of Modularising inductive families
Conference papers
-
[1]
Relational algebraic ornaments
Hsiang−Shang Ko and Jeremy Gibbons
In Dependently Typed Programming. ACM. 2013.
Details about Relational algebraic ornaments | BibTeX data for Relational algebraic ornaments | DOI (10.1145/2502409.2502413) | Download (pdf) of Relational algebraic ornaments
-
[2]
Modularising inductive families
Hsiang−Shang Ko and Jeremy Gibbons
In Workshop on Generic Programming. Pages 13−24. ACM. 2011.
Details about Modularising inductive families | BibTeX data for Modularising inductive families | DOI (10.1145/2036918.2036921) | Download (pdf) of Modularising inductive families
Theses
-
[1]
Analysis and synthesis of inductive families
Hsiang−Shang Ko
PhD Thesis University of Oxford. 2014.
Details about Analysis and synthesis of inductive families | BibTeX data for Analysis and synthesis of inductive families | Download (pdf) of Analysis and synthesis of inductive families
Miscellaneous
-
[1]
Categorical organisation of the ornament–refinement framework
Hsiang−Shang Ko and Jeremy Gibbons
Submitted to POPL'14. July, 2013.
Details about Categorical organisation of the ornament–refinement framework | BibTeX data for Categorical organisation of the ornament–refinement framework | Download (pdf) of Categorical organisation of the ornament–refinement framework