Publicaciones en las que colabora con MANUEL MONTENEGRO MONTES (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