TY  - CPAPER
AU  - López Fraguas, Francisco Javier
AU  - Montenegro Montes, Manuel
AU  - Suárez García, Gorka
A2  - Barthe, Gilles
A2  - Sutcliffe, Geoff
A2  - Veanes, Magnus
PY  - 2018
SN  - 2398-7340
UR  - https://hdl.handle.net/20.500.14352/91622
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...
LA  - eng
M2  - 515
KW  - Erlang
KW  - polymorphism
KW  - success types
TI  - Polymorphic success types for Erlang
TY  - conference paper
ER  -