TY  - THES
AU  - Martín Martín, Enrique
A3  - López Fraguas, Francisco Javier
PY  - 2009
UR  - https://hdl.handle.net/20.500.14352/54580
AB  - Los lenguajes declarativos proporcionan un nivel de programación más alto y abstracto que los lenguajes imperativos tradicionales. Los lenguajes funcionales y los lógicos son los dos paradigmas declarativos más importantes, y su combinación ha sido un...
LA  - spa
KW  - Sistemas de tipos
KW  - Programación lógico funcional
KW  - Patrones de orden superior
KW  - Patrones opacos
KW  - Polimorfismo paramétrico
KW  - Definiciones locales
KW  - TOY
KW  - Type systems
KW  - Functional logic programming
KW  - Higher order patterns
KW  - Opaque patterns
KW  - Parametric polymorphism
KW  - Local definitions
TI  - Advances in type systems for functional logic programming
M3  - master thesis
ER  -