Deriving overloaded success type schemes in Erlang
Journal:
Journal of Computer Languages
ISSN: 2590-1184
Year of publication: 2020
Volume: 58
Type: Article