Josh Ko : Publications
|
[1] |
Relational algebraic ornaments Hsiang−Shang Ko and Jeremy Gibbons Submitted to ICFP'13. March, 2013. |
|
[2] |
Modularising inductive families Hsiang−Shang Ko and Jeremy Gibbons To appear in Progress in Informatics. March, 2013. |
|
[3] |
Modularising inductive families Hsiang−Shang Ko and Jeremy Gibbons In Workshop on Generic Programming. Pages 13−24. September, 2011. |
|
[4] |
Datatype ornamentation and the Dutch National Flag problem Hsiang−Shang Ko Transfer dissertation. October, 2011. |
|
[5] |
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. September, 2009. |
|
[6] |
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. July, 2008. |