External Links

Cite Key

Statistics

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

PDF

Tags

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 with proofs and explicit contexts

Brigitte Pientka, Joshua Dunfield. Programming with proofs and explicit contexts. In Sergio Antoy, Elvira Albert, editors, Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 15-17, 2008, Valencia, Spain. pages 163-173, ACM, 2008. [doi]

Authors

Brigitte Pientka

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

Joshua Dunfield

This author has not been identified. Look up 'Joshua Dunfield' in Google
runs on