FRANCISCO JAVIER LÓPEZ FRAGUAS-rekin lankidetzan egindako argitalpenak (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