![](/img/cover-not-exists.png)
[ACM Press the 21st ACM SIGPLAN International Conference - Nara, Japan (2016.09.18-2016.09.24)] Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 - Elaborator reflection: extending Idris in Idris
Christiansen, David, Brady, EdwinYear:
2016
Language:
english
DOI:
10.1145/2951913.2951932
File:
PDF, 327 KB
english, 2016