Paper: Corrigendum: complete type interference for simple objects (at LICS 1988)
Authors: Mitchell WandAbstract
An error has been pointed out in the author's paper (see Proc. 2nd IEEE Symp. on Logic in Computer Science, p.37-44 (1987)). It appears that there are programs without principal type schemes in the system in that paper
BibTeX
@InProceedings{Wand-Corrigendumcomplete, author = {Mitchell Wand}, title = {Corrigendum: complete type interference for simple objects}, booktitle = {Proceedings of the Third Annual IEEE Symp. on Logic in Computer Science, {LICS} 1988}, year = 1988, editor = {Yuri Gurevich}, month = {July}, location = {Edinburgh, Scotland, UK}, publisher = {IEEE Computer Society Press} }