RT Conference Proceedings
T1 Polymorphic success types for Erlang
A1 López Fraguas, Francisco Javier
A1 Montenegro Montes, Manuel
A1 Suárez García, Gorka
A2 Barthe, Gilles
A2 Sutcliffe, Geoff
A2 Veanes, Magnus
AB Erlang is a dynamically typed concurrent functional language of increasing interest in industry and academia. Official Erlang distributions come equipped with Dialyzer, a useful static analysis tool able to anticipate runtime errors by inferring so-called success types, which are overapproximations to the real semantics of expressions. However, Dialyzer exhibits two main weaknesses: on the practical side, its ability to deal with functions that are typically polymorphic is rather poor; and on the theoretical side, a fully developed theory for its underlying type system –comparable to, say, Hindley-Milner system– does not seem to exist, something that we consider a regrettable circumstance. This work presents a type derivation system to obtain polymorphic success types for Erlang programs, along with correctness results with respect to a suitable semantics for the language.
SN 2398-7340
YR 2018
FD 2018-10-23
LK https://hdl.handle.net/20.500.14352/91622
UL https://hdl.handle.net/20.500.14352/91622
LA eng
NO Ministerio de Economía y Competitividad. CAVI-ART-2 (TIN2017-86217-R)
NO Consejería de Educación de Comunidad de Madrid. N-GREENS Software-CM (S2013/ICE-2731)
DS Docta Complutense
RD 13 abr 2025