Polymorphic success types for Erlang. - Francisco Javier López-Fraguas; Manuel Montenegro; Gorka Suárez-García (LPAR, 2018)

Deriving overloaded success type schemes in Erlang. - Francisco Javier López-Fraguas; Manuel Montenegro; Gorka Suárez-García (J. Comput. Lang., 2020)