Información del autor
Documentos disponibles escritos por este autor (2)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
López Fraguas, Francisco J. ; Martín Martín, Enrique ; Rodríguez Hortalá, Juan ; Sánchez Hernández, Jaime | Cambridge University Press | 2014-03Non-confluent and non-terminating constructor-based term rewrite systems are useful for the purpose of specification and programming. In particular, existing functional logic languages use such kind of rewrite systems to define possibly non-stri[...]texto impreso
Type systems are widely used in programming languages as a powerful tool providing safety to programs. Functional logic languages have inherited Damas-Milner type system from their functional part due to its simplicity and popularity. In this pa[...]
