Polymorphic type inference with overloading and subtyping

DOI10.1007/3-540-56610-4_97zbMATH Open1497.68125OpenAlexW1595983599MaRDI QIDQ5044772FDOQ5044772

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

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

Mathematics Subject Classification ID

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

Cites Work

• A theory of type polymorphism in programming
• Type inference with subtypes
• The Principal Type-Scheme of an Object in Combinatory Logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (30)

• Dependent types with subtyping and late-bound overloading
• Pragmatic subtyping in polymorphic languages
• Title not available (Why is that?)
• 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
• Type inference in polymorphic type discipline
• Subtyping recursion and parametric polymorphism in kernel Fun
• Simplifying subtyping constraints
• Title not available (Why is that?)
• Programming Languages and Systems
• Type inference with subtypes
• Polymorphic type inference and containment
• Title not available (Why is that?)
• Type inference for polymorphic references
• 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
• HMF: simple type inference for first-class polymorphism
• Flexible types, robust type inference for first-class polymorphism
• Title not available (Why is that?)
• Principal type schemes for functional programs with overloading and subtyping
• Lower bounds on type checking overloading
• General Homomorphic Overloading
• Title not available (Why is that?)

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)