Title :
Corrigendum: complete type interference for simple objects
Author_Institution :
Coll. of Comput. Sci., Northeastern Univ., Boston, MA, USA
Abstract :
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.<>
Keywords :
programming theory; complete type interference; simple objects; Computer bugs; Computer errors; Computer science; Difference equations; Educational institutions; Logic; Reasoning about programs;
Conference_Titel :
Logic in Computer Science, 1988. LICS '88., Proceedings of the Third Annual Symposium on
Conference_Location :
Edinburgh, UK
Print_ISBN :
0-8186-0853-6
DOI :
10.1109/LICS.1988.5111
