Type inference with subtypes

DOI10.1016/0304-3975(90)90144-7MaRDI QIDQ914357zbMATH OpenOpenAlexFDO

Authors Youchin Fuh, Prateek Mishra

Publication date 1990

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(90)90144-7

zbMATH Keywords

theory of subtypestype inferencetype-checkerunification algorithm

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Symbolic computation and algebraic computation (68W30)

Recommendations

• Type inference with non-structural subtyping
• A framework for type inference with subtyping
• scientific article; zbMATH DE number 4058828
• Type inference with partial types
• scientific article; zbMATH DE number 445158
• Polymorphic type inference with overloading and subtyping
• scientific article; zbMATH DE number 3930968
• Subtyping dependent types
• Finite subtype inference with explicit polymorphism
• Type inference in polymorphic type discipline

Cites work

• An Efficient Unification Algorithm
• Basic polymorphic typechecking
• scientific article; zbMATH DE number 3898200 (Why is no real title available?)
• scientific article; zbMATH DE number 3930968 (Why is no real title available?)
• scientific article; zbMATH DE number 4051569 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)

Cited in

(27)

• Type inference with partial types
• Type inference with non-structural subtyping
• Higher-order subtyping
• Finite subtype inference with explicit polymorphism
• Type reconstruction for linear \(\pi\)-calculus with I/O subtyping.
• Type inference for variant object types
• Inheritance-based subtyping
• Type-safe covariant specialization with generalized matching
• Non-structural subtype entailment in automata theory
• Subtypes in fuzzy type theory
• Matching MyType to subtyping
• scientific article; zbMATH DE number 1629946 (Why is no real title available?)
• Contract-based verification of MATLAB-style matrix programs
• Subtyping in logical form
• scientific article; zbMATH DE number 445158 (Why is no real title available?)
• scientific article; zbMATH DE number 177797 (Why is no real title available?)
• Size-based termination of higher-order rewriting
• Subtyping constrained types
• Polymorphic type inference with overloading and subtyping
• Explicit effect subtyping
• Intersection type matching with subtyping
• Pragmatic subtyping in polymorphic languages
• Polymorphism, subtyping, and type inference in MLsub
• HM(X) type inference is CLP(X) solving
• Types for Proofs and Programs
• Subtyping dependent types
• Simplifying explicit subtyping coercions in a polymorphic calculus with effects

This page was built for publication: Type inference with subtypes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q914357)