Pragmatic subtyping in polymorphic languages

DOI10.1145/289423.289445MaRDI QIDQ5348898zbMATH OpenOpenAlexFDO

Authors Johan Nordlander

Publication date 21 August 2017

Published in Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-39687

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Pragmatic subtyping in polymorphic languages
• Polymorphism, subtyping, and type inference in MLsub
• Polymorphic type inference with overloading and subtyping
• Type inference with subtypes
• scientific article; zbMATH DE number 445158

Cited in

(10)

• scientific article; zbMATH DE number 445158 (Why is no real title available?)
• Phantom types and subtyping
• scientific article; zbMATH DE number 2090556 (Why is no real title available?)
• Subtyping constrained types
• Parametric polymorphism and semantic subtyping
• Pragmatic subtyping in polymorphic languages
• Programming Languages and Systems
• A practical subtyping system for Erlang
• Polymorphism, subtyping, and type inference in MLsub
• Polymorphic subtyping in O'Haskell

This page was built for publication: Pragmatic subtyping in polymorphic languages

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