![](/img/cover-not-exists.png)
[ACM Press the 17th ACM SIGPLAN international conference - Copenhagen, Denmark (2012.09.09-2012.09.15)] Proceedings of the 17th ACM SIGPLAN international conference on Functional programming - ICFP '12 - Agda-curious?
McBride, Conor ThomasYear:
2012
Language:
english
DOI:
10.1145/2364527.2364529
File:
PDF, 391 KB
english, 2012