Practical SMT-based type error localization

Zvonimir Pavlinovic, T King, Thomas Wies

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publication20th ACM SIGPLAN International Conference on Functional Programming
Subtitle of host publicationICFP '15
Place of PublicationVancouver, British Columbia, Canada
StatePublished - Aug 2015

Cite this

Pavlinovic, Z., King, T., & Wies, T. (2015). Practical SMT-based type error localization. In 20th ACM SIGPLAN International Conference on Functional Programming: ICFP '15 Vancouver, British Columbia, Canada.

Practical SMT-based type error localization. / Pavlinovic, Zvonimir; King, T; Wies, Thomas.

20th ACM SIGPLAN International Conference on Functional Programming: ICFP '15. Vancouver, British Columbia, Canada, 2015.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Pavlinovic, Z, King, T & Wies, T 2015, Practical SMT-based type error localization. in 20th ACM SIGPLAN International Conference on Functional Programming: ICFP '15. Vancouver, British Columbia, Canada.
Pavlinovic Z, King T, Wies T. Practical SMT-based type error localization. In 20th ACM SIGPLAN International Conference on Functional Programming: ICFP '15. Vancouver, British Columbia, Canada. 2015
Pavlinovic, Zvonimir ; King, T ; Wies, Thomas. / Practical SMT-based type error localization. 20th ACM SIGPLAN International Conference on Functional Programming: ICFP '15. Vancouver, British Columbia, Canada, 2015.
@inproceedings{2ea373a62a3f47e0840d99f91a0d85ac,
title = "Practical SMT-based type error localization",
author = "Zvonimir Pavlinovic and T King and Thomas Wies",
year = "2015",
month = "8",
language = "English (US)",
booktitle = "20th ACM SIGPLAN International Conference on Functional Programming",

}

TY - GEN

T1 - Practical SMT-based type error localization

AU - Pavlinovic, Zvonimir

AU - King, T

AU - Wies, Thomas

PY - 2015/8

Y1 - 2015/8

M3 - Conference contribution

BT - 20th ACM SIGPLAN International Conference on Functional Programming

CY - Vancouver, British Columbia, Canada

ER -