Subtyping constrained types

DOI10.1007/3-540-61739-6_52zbMath1482.68096OpenAlexW1507723317MaRDI QIDQ5030204

No author found.

Publication date: 16 February 2022

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61739-6_52

zbMATH Keywords

regular treetype inferencetype variabletyping ruletype scheme

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Simplifying subtyping constraints: a theory ⋮ Type inference for variant object types ⋮ Satisfying subtype inequalities in polynomial space

Cites Work

• Unnamed Item
• Unnamed Item
• Type inference with subtypes
• Fundamental properties of infinite trees
• Principal type schemes for functional programs with overloading and subtyping
• Simplifying subtyping constraints
• An ideal model for recursive polymorphic types
• Type inference with simple subtypes

This page was built for publication: Subtyping constrained types