GORKA
SUÁREZ GARCÍA
Postdoctoral UCM
FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
FRANCISCO JAVIER LÓPEZ FRAGUAS-rekin lankidetzan egindako argitalpenak (2)
2020
-
Deriving overloaded success type schemes in Erlang
Journal of Computer Languages, Vol. 58
2018
-
Polymorphic success types for erlang
EPiC Series in Computing