Josh Ko : 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
-
[3]
Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
Shin−Cheng Mu‚ Hsiang−Shang Ko and Patrik Jansson
In Journal of Functional Programming. Vol. 19. No. 5. Pages 545−579. 2009.
Details about Algebra of Programming in Agda: Dependent Types for Relational Program Derivation | BibTeX data for Algebra of Programming in Agda: Dependent Types for Relational Program Derivation | DOI (10.1017/S0956796809007345) | Link to Algebra of Programming in Agda: Dependent Types for Relational Program Derivation
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
-
[3]
Algebra of Programming using Dependent Types
Shin−Cheng Mu‚ Hsiang−Shang Ko and Patrik Jansson
In Mathematics of Program Construction. Vol. 5133 of Lecture Notes in Computer Science. Pages 268−283. Springer−Verlag. 2008.
Details about Algebra of Programming using Dependent Types | BibTeX data for Algebra of Programming using Dependent Types | DOI (10.1007/978-3-540-70594-9_15) | Link to Algebra of Programming using Dependent Types
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
-
[2]
Datatype ornamentation and the Dutch National Flag problem
Hsiang−Shang Ko
Transfer dissertation. October, 2011.
Details about Datatype ornamentation and the Dutch National Flag problem | BibTeX data for Datatype ornamentation and the Dutch National Flag problem | Download (pdf) of Datatype ornamentation and the Dutch National Flag problem