Reusability and Dependent Types : Publications
|
[1] |
Modularising inductive families Hsiang−Shang Ko and Jeremy Gibbons May, 2012. Submitted to Progress in Informatics. |
|
[2] |
Modularising inductive families Hsiang−Shang Ko and Jeremy Gibbons In Jaakko Järvi and Shin−Cheng Mu, editors, Workshop on Generic Programming. Pages 13−24. September, 2011. |