Polymorphism, subtyping, and type inference in MLsub

DOI10.1145/3009837.3009882MaRDI QIDQ5370846zbMATH OpenOpenAlexWikidataFDO

Authors Stephen Dolan, Alan Mycroft

Publication date 20 October 2017

Published in Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://www.repository.cam.ac.uk/handle/1810/261583

zbMATH Keywords

algebrapolymorphismsubtypingtype inference

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Type inference with subtypes
• Polymorphic type inference with overloading and subtyping
• Pragmatic subtyping in polymorphic languages
• Pragmatic subtyping in polymorphic languages
• A type inference system based on saturation of subtyping constraints

Cited in

(30)

• Extending the type checker of Standard ML by polymorphic recursion
• Principal type schemes for functional programs with overloading and subtyping
• Finite subtype inference with explicit polymorphism
• Subtyping recursion and parametric polymorphism in kernel Fun
• Formalization of a polymorphic subtyping algorithm
• Optimal representations of polymorphic types with subtyping
• A type inference system based on saturation of subtyping constraints
• Type inference with rank 1 polymorphism for type-directed compilation of ML
• Type inference, principal typings, and let-polymorphism for first-class mixin modules
• Set-theoretic types for polymorphic variants
• Phantom types and subtyping
• An Interval-Based Inference of Variant Parametric Types
• scientific article; zbMATH DE number 177797 (Why is no real title available?)
• scientific article; zbMATH DE number 1330133 (Why is no real title available?)
• scientific article; zbMATH DE number 1088035 (Why is no real title available?)
• MLsub
• scientific article; zbMATH DE number 1479639 (Why is no real title available?)
• Quantifier elimination and parametric polymorphism in programming languages
• scientific article; zbMATH DE number 2090556 (Why is no real title available?)
• scientific article; zbMATH DE number 860050 (Why is no real title available?)
• Polymorphic type inference with overloading and subtyping
• Pragmatic subtyping in polymorphic languages
• Flexible types, robust type inference for first-class polymorphism
• Functional and Logic Programming
• Programming Languages and Systems
• A practical subtyping system for Erlang
• Pragmatic subtyping in polymorphic languages
• OCaml + XDuce
• Simplifying explicit subtyping coercions in a polymorphic calculus with effects
• Polymorphic subtyping in O'Haskell

This page was built for publication: Polymorphism, subtyping, and type inference in MLsub

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