Conference. CPP '18: 7th ACM SIGPLAN International Conference on Certified Programs and Proofs [cpp18]January 2018Los Angeles, California, USA10.1145/3176245https://popl18.sigplan.org/track/CPP-2018Colocated with POPL'18.