| Original language | English (US) |
|---|---|
| Title of host publication | 20th ACM SIGPLAN International Conference on Functional Programming |
| Subtitle of host publication | ICFP '15 |
| Place of Publication | Vancouver, British Columbia, Canada |
| State | Published - Aug 2015 |
Practical SMT-based type error localization
Zvonimir Pavlinovic, T King, Thomas Wies
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution