Publicaciones en las que colabora con FRANCISCO JAVIER LÓPEZ FRAGUAS (3)

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

2016

  1. Polymorphic types in erlang function specifications

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)