Publications dans lesquelles il/elle collabore avec GORKA SUÁREZ GARCÍA (2)

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