Conference. CPP '13: 3rd ACM SIGPLAN International Conference on Certified Programs and Proofs [cpp13]December 2013Melbourne, Victoria, Australia10.1145/3176245Colocated with APLAS '13: 11th Asian Symposium on Programming Languages and Systems.