Josh Ko : Publications
-
[1]
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
-
[2]
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
-
[3]
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
-
[4]
Binomial Tabulation: A Short Story
Hsiang−Shang Ko‚ Shin−Cheng Mu and Jeremy Gibbons
February, 2024.
Details about Binomial Tabulation: A Short Story | BibTeX data for Binomial Tabulation: A Short Story | Download (pdf) of Binomial Tabulation: A Short Story
-
[5]
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
-
[6]
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
-
[7]
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
-
[8]
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
-
[9]
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
-
[10]
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