Polymorphic types in Erlang function specifications

DOI10.1007/978-3-319-29604-3_12MaRDI QIDQ2798275zbMATH OpenOpenAlexFDO

Authors F. J. López-Fraguas, Manuel Montenegro, Juan Rodríguez-Hortalá

Publication date 4 April 2016

Published in Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-29604-3_12

Mathematics Subject Classification ID

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

Recommendations

• Polymorphic success types for Erlang
• A practical subtyping system for Erlang
• Towards symbolic execution in Erlang
• Polymorphic type analysis in logic programs by abstract interpretation
• The semantic treatment of polymorphic specification languages

Cites work

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

Cited in

(4)

• Polymorphic types in Erlang function specifications
• Bounded symbolic execution for runtime error detection of Erlang programs
• Dialyzer
• Polymorphic success types for Erlang

Describes a project that uses

Uses Software

• Erlang
• TypEr

This page was built for publication: Polymorphic types in Erlang function specifications

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