![](/img/cover-not-exists.png)
[ACM Press the seventh ACM SIGPLAN workshop - Tokyo, Japan (2011.09.18-2011.09.18)] Proceedings of the seventh ACM SIGPLAN workshop on Generic programming - WGP '11 - Modularising inductive families
Ko, Hsiang-Shang, Gibbons, JeremyYear:
2011
Language:
english
DOI:
10.1145/2036918.2036921
File:
PDF, 564 KB
english, 2011