Type inference for variant object types
type: Item
instance of: scholarly article
title: Type inference for variant object types
zbMATH Open document ID: 1012.68046
author: Michele Bugliesi
author: Santiago M. Pericás-Geertsen
published in: Information and Computation
publication date: 2003-01-14T00:00:00Z
full work available at URL: https://hdl.handle.net/2144/1813
Mathematics Subject Classification ID: 68N19
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 1853277
describes a project that uses: ML
describes a project that uses: GHC
describes a project that uses: Forsythe
MaRDI profile type: Publication
OpenAlex ID: W2060688653
cites work: Q4715213
cites work: Type inference with recursive types: Syntax and semantics
cites work: Q4222755
cites work: Q3122694
cites work: The Principal Type-Scheme of an Object in Combinatory Logic
cites work: A theory of type polymorphism in programming
cites work: Efficient inference of object types
cites work: Q4365943
cites work: Q3837262
cites work: Q2729061
cites work: Subtyping constrained types
cites work: Type reconstruction with recursive types and atomic subtyping
DOI: 10.1006/INCO.2002.3091
description: scientific article; zbMATH DE number 1853277