A practical subtyping system for Erlang

DOI10.1145/258948.258962MaRDI QIDQ5348871zbMATH OpenOpenAlexFDO

Authors Simon Marlow, Philip Wadler

Publication date 21 August 2017

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

Full work available at URL https://doi.org/10.1145/258948.258962

Mathematics Subject Classification ID

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

Recommendations

• Pragmatic subtyping in polymorphic languages
• Pragmatic subtyping in polymorphic languages
• Polymorphic success types for Erlang
• Polymorphism, subtyping, and type inference in MLsub
• Simplifying subtyping constraints: a theory

Cited in

(4)

• A type system for implicit scaling
• Polymorphic types in Erlang function specifications
• Logical types for untyped languages
• Polymorphic success types for Erlang

Describes a project that uses

Uses Software

• Erlang

This page was built for publication: A practical subtyping system for Erlang

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