DocumentCode
2229268
Title
Corrigendum: complete type interference for simple objects
Author
Wand, Mitchell
Author_Institution
Coll. of Comput. Sci., Northeastern Univ., Boston, MA, USA
fYear
1988
fDate
0-0 1988
Firstpage
132
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/LICS.1988.5111
Filename
5111
Link To Document