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]

Abstract

Abstract is missing.