External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Coq: the world's best macro assembler?

Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand. Coq: the world's best macro assembler?. In Ricardo Peña, Tom Schrijvers, editors, 15th International Symposium on Principles and Practice of Declarative Programming, PPDP '13, Madrid, Spain, September 16-18, 2013. pages 13-24, ACM, 2013. [doi]

Authors

Andrew Kennedy

This author has not been identified. Look up 'Andrew Kennedy' in Google

Nick Benton

This author has not been identified. Look up 'Nick Benton' in Google

Jonas Braband Jensen

This author has not been identified. Look up 'Jonas Braband Jensen' in Google

Pierre-Évariste Dagand

This author has not been identified. Look up 'Pierre-Évariste Dagand' in Google
runs on