Información del autor
Documentos disponibles escritos por este autor (6)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
We propose a new type system for functional logic programming which is more liberal than the classical Damas-Milner usually adopted, but it is also restrictive enough to ensure type soundness. Starting from Damas-Milner typing of expressions we [...]texto impreso
We propose a new type system for functional logic programming which is more liberal than the classical Damas-Milner usually adopted, but it is also restrictive enough to ensure type soundness. Starting from Damas-Milner typing of expressions we [...]texto impreso
Este trabajo trata acerca del uso del indeterminismo como un recurso expresivo de los lenguajes de programación. En los lenguajes indeterministas se ofrecen primitivas que pueden ser utilizadas para expresar cómputos cuyo resultado final no está[...]texto impreso
Rodríguez Hortalá, Juan | 2008-05-12Non-confluent and non-terminating rewrite systems are interesting from the point of view of programming. In particular, existing functional logic languages use such kind of rewrite systems to define possibly non-strict non-deterministic function[...]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[...]
