HOπ in Coq - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sergueï Lenglet, Alan Schmitt. HOπ in Coq. In June Andronick, Amy P. Felty, editors, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, CA, USA, January 8-9, 2018. pages 252-265, ACM, 2018. [doi]

This author has not been identified. Look up 'Sergueï Lenglet' in GoogleThis author has not been identified. Look up 'Alan Schmitt' in Google

runs on WebDSL