External Links

Cite Key

Statistics

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

PDF

Bibliographies

    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.

    Practical SMT-based type error localization

    Zvonimir Pavlinovic, Tim King 0001, Thomas Wies. Practical SMT-based type error localization. In Kathleen Fisher, John H. Reppy, editors, Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015. pages 412-423, ACM, 2015. [doi]

    Authors

    Zvonimir Pavlinovic

    This author has not been identified. Look up 'Zvonimir Pavlinovic' in Google

    Tim King 0001

    This author has not been identified. Look up 'Tim King 0001' in Google

    Thomas Wies

    This author has not been identified. Look up 'Thomas Wies' in Google
    runs on