Erratum to ``Efficient inference of object types''
type: Item
instance of: scholarly article
title: Erratum to ``Efficient inference of object types''
zbMATH Open document ID: 0868.68038
author: Jens Palsberg
published in: Information and Computation
publication date: 1996-07-03T00:00:00Z
review text: In ibid. 126, No. 1, 198-209 (1995; Zbl 0849.68018) a lemma and an example were missing.
Mathematics Subject Classification ID: 68P05
zbMATH DE Number: 896652
MaRDI profile type: Publication
full work available at URL: inco.1996.0038
OpenAlex ID: W2092054869
DOI: 10.1006/INCO.1996.0038
Recommended article: Q3811682
Recommended article: Efficient inference of object types
Recommended article: Q4222755
Recommended article: Q3142164
Recommended article: Type inference for variant object types
Recommended article: Corrigendum to: ``Inductive-data-type systems''
Recommended article: Q3976029
Recommended article: Compositional explanation of types and algorithmic debugging of type errors
Recommended article: A denotational approach for type-checking in object-oriented programming languages
description: scientific article; zbMATH DE number 896652