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
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 [...]
