Reusability and Dependent Types : 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. |