@misc{indiciae66447dc2e8f9, title = {Improving Type Error Messages in OCaml}, author = {Arthur Charguéraud}, year = {2015}, doi = {10.4204/eptcs.198.4}, url = {https://arxiv.org/abs/1512.01897}, note = {Source identifier: 1512.01897} }