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.

Guided Type Debugging

Sheng Chen 0008, Martin Erwig. Guided Type Debugging. In Michael Codish, Eijiro Sumii, editors, Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Volume 8475 of Lecture Notes in Computer Science, pages 35-51, Springer, 2014. [doi]

Authors

Sheng Chen 0008

This author has not been identified. Look up 'Sheng Chen 0008' in Google

Martin Erwig

This author has not been identified. It may be one of the following persons: Look up 'Martin Erwig' in Google
runs on