MANUEL
MONTENEGRO MONTES
Profesor ayudante doctor
FRANCISCO JAVIER
LÓPEZ FRAGUAS
Catedrático de universidad
Publicaciones en las que colabora con FRANCISCO JAVIER LÓPEZ FRAGUAS (3)
2020
-
Deriving overloaded success type schemes in Erlang
Journal of Computer Languages, Vol. 58
2018
-
Polymorphic success types for erlang
EPiC Series in Computing
2016
-
Polymorphic types in erlang function specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)