Leonardo Mendonça de Moura. Dependent type practice (invited talk). In Jeremy Avigad, Adam Chlipala, editors, Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016. pages 2, ACM, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.