Gorka Suárez-García

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 2

Top Topics

Search Algorithm

Multiresolution

Top Venues

J. Comput. Lang.

Publications

Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García
Deriving overloaded success type schemes in Erlang. J. Comput. Lang. 58 (2020)
Francisco Javier López-Fraguas, Manuel Montenegro, Gorka Suárez-García
Polymorphic success types for Erlang. LPAR (2018)