Deriving overloaded success type schemes in Erlang

Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García. Deriving overloaded success type schemes in Erlang. Journal of Computer Languages, 58:100965, 2020. [doi]

@article{Lopez-FraguasMS20,
  title = {Deriving overloaded success type schemes in Erlang},
  author = {Francisco Javier López-Fraguas and Manuel Montenegro and Gorka Suárez-García},
  year = {2020},
  doi = {10.1016/j.cola.2020.100965},
  url = {https://doi.org/10.1016/j.cola.2020.100965},
  researchr = {https://researchr.org/publication/Lopez-FraguasMS20},
  cites = {0},
  citedby = {0},
  journal = {Journal of Computer Languages},
  volume = {58},
  pages = {100965},
}