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 and Proving with Classical Types

Cristina Matache, Victor B. F. Gomes, Dominic P. Mulligan. Programming and Proving with Classical Types. In Bor-Yuh Evan Chang, editor, Programming Languages and Systems - 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings. Volume 10695 of Lecture Notes in Computer Science, pages 215-234, Springer, 2017. [doi]

Authors

Cristina Matache

This author has not been identified. Look up 'Cristina Matache' in Google

Victor B. F. Gomes

This author has not been identified. Look up 'Victor B. F. Gomes' in Google

Dominic P. Mulligan

This author has not been identified. Look up 'Dominic P. Mulligan' in Google
runs on