Follow
Gorka Suárez-García
Gorka Suárez-García
Researcher, Facultad de Informática, Universidad Complutense de Madrid
Verified email at ucm.es
Title
Cited by
Cited by
Year
Polymorphic success types for Erlang
FJ López-Fraguas, M Montenegro, G Suárez-García
EPiC Series in Computing 57, 515, 2018
32018
Deriving overloaded success type schemes in Erlang
FJ López-Fraguas, M Montenegro, G Suárez-García
Journal of Computer Languages 58, 100965, 2020
22020
Comprobación de modelos en sistemas concurrentes a partir de su semántica en Maude
G Suárez García
Universidad Complutense de Madrid, 2017
12017
A type derivation system for Erlang (extended version)
FJ López-Fraguas, M Montenegro, G Suárez-García
PROLE 2017, 2017
1*2017
Análisis estático de tipos para lenguajes de tipado dinámico
G Suárez García
Universidad Complutense de Madrid, 2022
2022
Selene: A Generic Framework for Model Checking Concurrent Programs from Their Semantics in Maude
A Riesco, G Suárez-Garcıa
24th International Workshop on Functional and (Constraint) Logic Programming …, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–6