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.

Programming Type-Safe Transformations Using Higher-Order Abstract Syntax

Olivier Savary Belanger, Stefan Monnier, Brigitte Pientka. Programming Type-Safe Transformations Using Higher-Order Abstract Syntax. In Georges Gonthier, Michael Norrish, editors, Certified Programs and Proofs - Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings. Volume 8307 of Lecture Notes in Computer Science, pages 243-258, Springer, 2013. [doi]

Authors

Olivier Savary Belanger

This author has not been identified. Look up 'Olivier Savary Belanger' 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