![](/img/cover-not-exists.png)
[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - Type-and-scope safe programs and their proofs
Allais, Guillaume, Chapman, James, McBride, Conor, McKinna, JamesYear:
2017
Language:
english
DOI:
10.1145/3018610.3018613
File:
PDF, 226 KB
english, 2017