Polymorphic type inference with overloading and subtyping

DOI10.1007/3-540-56610-4_97MaRDI QIDQ5044772zbMATH OpenOpenAlexFDO

Authors Geoffrey S. Smith

Publication date 2 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56610-4_97

Mathematics Subject Classification ID

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

Recommendations

• Principal type schemes for functional programs with overloading and subtyping
• scientific article; zbMATH DE number 3881858
• Polymorphism, subtyping, and type inference in MLsub
• Type Reconstruction for Type Classes
• Type inference with subtypes

Cites work

• A theory of type polymorphism in programming
• scientific article; zbMATH DE number 3898200 (Why is no real title available?)
• scientific article; zbMATH DE number 3349328 (Why is no real title available?)
• The Principal Type-Scheme of an Object in Combinatory Logic
• Type inference with subtypes

Cited in

(35)

• Polymorphic type inference and containment
• Extending the type checker of Standard ML by polymorphic recursion
• Principal type schemes for functional programs with overloading and subtyping
• Lower bounds on type checking overloading
• Subtyping recursion and parametric polymorphism in kernel Fun
• Formalization of a polymorphic subtyping algorithm
• Optimal representations of polymorphic types with subtyping
• Dependent types with subtyping and late-bound overloading
• Kinded type inference for parametric overloading
• A type inference system based on saturation of subtyping constraints
• scientific article; zbMATH DE number 1692901 (Why is no real title available?)
• scientific article; zbMATH DE number 1696585 (Why is no real title available?)
• Type checking and problem of overloaded arguments
• Visible type application
• Simplifying subtyping constraints
• Type inference with rank 1 polymorphism for type-directed compilation of ML
• Polymorphic functions with set-theoretic types. II: Local type inference and type reconstruction
• A theory of overloading
• Explaining Polymorphic Types
• scientific article; zbMATH DE number 3881858 (Why is no real title available?)
• scientific article; zbMATH DE number 177797 (Why is no real title available?)
• scientific article; zbMATH DE number 1088035 (Why is no real title available?)
• scientific article; zbMATH DE number 2090556 (Why is no real title available?)
• Type Reconstruction for Type Classes
• Type inference in polymorphic type discipline
• HMF: simple type inference for first-class polymorphism
• Flexible types, robust type inference for first-class polymorphism
• Pragmatic subtyping in polymorphic languages
• Polymorphism, subtyping, and type inference in MLsub
• General Homomorphic Overloading
• Programming Languages and Systems
• Polymorphic subtyping in O'Haskell
• Polytypic values possess polykinded types
• Type inference with subtypes
• Type inference for polymorphic references

Describes a project that uses

Uses Software

• ML

This page was built for publication: Polymorphic type inference with overloading and subtyping

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