Publications
Note that the Coq code has evolved since these papers were published and so some of the Coq fragments in the papers will be slightly different from the sources that you can download or view online.
- Andrew Kennedy, Nick Benton, Jonas Jensen and Pierre-Evariste Dagand. Coq: The World's Best Macro Assembler?. In Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming (PPDP 2013). September 2013. © ACM 2013.