![](/img/cover-not-exists.png)
[ACM Press the 11th ACM SIGPLAN Workshop - Vancouver, BC, Canada (2015.08.30-2015.08.30)] Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming - WGP 2015 - Dependently typed programming with finite sets
Firsov, Denis, Uustalu, TarmoYear:
2015
Language:
english
DOI:
10.1145/2808098.2808102
File:
PDF, 333 KB
english, 2015