Polymorphic success types for Erlang

DOI10.29007/W2M2MaRDI QIDQ5222976zbMATH OpenOpenAlexFDO

Authors F. J. López-Fraguas, Manuel Montenegro, Gorka Suárez-García

Publication date 4 July 2019

Published in EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.29007/w2m2

zbMATH Keywords

typespolymorphismErlangsuccess types

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• Polymorphic types in Erlang function specifications
• A practical subtyping system for Erlang
• Polymorphic typed defunctionalization
• A polymorphic type system for Prolog
• Polymorphic types in functional logic programming
• Intensional polymorphism in type-erasure semantics
• Intensional polymorphism in type-erasure semantics
• Intensional polymorphism in type-erasure semantics

Cited in

(3)

• Dialyzer
• A practical subtyping system for Erlang
• Polymorphic types in Erlang function specifications

Describes a project that uses

Uses Software

• Erlang

This page was built for publication: Polymorphic success types for Erlang

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