<p>Are there any papers at all about designing error messages for compilers/PLs?</p>