Corrigendum: complete type interference for simple objects

[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science Pub Date : 1988-07-05 DOI:10.1109/LICS.1988.5111

M. Wand

引用次数: 51

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.<>

查看原文本刊更多论文

勘误:简单对象的完全型干涉

在作者的论文中指出了一个错误(参见Proc. 2nd IEEE Symp)。计算机科学中的逻辑，p.37-44(1987))。在该系统中似乎存在无主型方案的程序。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science

自引率

0.00%

发文量