Publications (2) GORKA SUÁREZ GARCÍA publications

2020

  1. Deriving overloaded success type schemes in Erlang

    Journal of Computer Languages, Vol. 58

2018

  1. Polymorphic success types for erlang

    EPiC Series in Computing