This project has moved and is read-only. For the latest updates, please go here.


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.

Last edited Jun 5, 2014 at 9:57 AM by andrewjkennedy, version 1