Type inference with subtypes
type: Item
instance of: scholarly article
title: Type inference with subtypes
zbMATH Open document ID: 0701.68012
DOI: 10.1016/0304-3975(90)90144-7
author: Youchin Fuh
author: Prateek Mishra
published in: Theoretical Computer Science
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N01
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 4149530
zbMATH Keywords: type-checker
zbMATH Keywords: type inference
zbMATH Keywords: theory of subtypes
zbMATH Keywords: unification algorithm
MaRDI profile type: Publication
full work available at URL: 0304-3975(90)90144-7
OpenAlex ID: W1703087989
cites work: Basic polymorphic typechecking
cites work: An Efficient Unification Algorithm
cites work: Q3705422
cites work: Q5624680
cites work: Q3677139
cites work: Q3787979
Recommended article: Type inference with non-structural subtyping
Recommended article: A framework for type inference with subtyping
Recommended article: Q3793704
Recommended article: Type inference with partial types
Recommended article: Q3142165
Recommended article: Polymorphic type inference with overloading and subtyping
Recommended article: Q3705422
Recommended article: Subtyping dependent types
Recommended article: Finite subtype inference with explicit polymorphism
Recommended article: Type inference in polymorphic type discipline
description: scientific article; zbMATH DE number 4149530