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

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

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

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

Cited in

(30)

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

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)