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.

Compiling contextual objects: bringing higher-order abstract syntax to programmers

Francisco Ferreira, Stefan Monnier, Brigitte Pientka. Compiling contextual objects: bringing higher-order abstract syntax to programmers. In Matthew Might, David Van Horn, Andreas Abel 0001, Tim Sheard, editors, Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013. pages 13-24, ACM, 2013. [doi]

Authors

Francisco Ferreira

This author has not been identified. Look up 'Francisco Ferreira' in Google

Stefan Monnier

This author has not been identified. Look up 'Stefan Monnier' in Google

Brigitte Pientka

This author has not been identified. Look up 'Brigitte Pientka' in Google
runs on