TY  - JOUR
AU  - López Fraguas, Francisco Javier
AU  - Montenegro Montes, Manuel
AU  - Suárez García, Gorka
PY  - 2020
DO  - 10.1016/j.cola.2020.100965
SN  - 2590-1184
UR  - https://hdl.handle.net/20.500.14352/7067
T2  - Journal of Computer Languages
AB  - Erlang is a programming language which brings together the features of functional programming and actor-based concurrency. Although it is a dynamically-typed language, there exists a tool (Dialyzer) that analyses Erlang programs in order to detect...
LA  - eng
PB  - Elsevier
KW  - polymorphic types
KW  - type systems
KW  - Erlang
KW  - success types
KW  - program semantics
KW  - tipos polimórficos
KW  - sistemas de tipos
KW  - semántica de programas
TI  - Deriving overloaded success type schemes in Erlang
TY  - journal article
VL  - 58
ER  -