Polymorphic success types for Erlang FJ López-Fraguas, M Montenegro, G Suárez-García EPiC Series in Computing 57, 515, 2018 | 3 | 2018 |
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 | 2 | 2020 |
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 | 1 | 2017 |
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 |