TY  - CHAP
AU  - López Fraguas, Francisco
AU  - Martin Martin, Enrique
AU  - Rodríguez Hortalá, Juan
A4  - Ueda, K.
PY  - 2010
DO  - 10.1007/978-3-642-17164-2_7
SN  - 978-3-642-17163-5
UR  - https://hdl.handle.net/20.500.14352/174
AB  - 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...
LA  - eng
M2  - 80
PB  - Springer
KW  - Type systems
KW  - functional logic programming
KW  - generic functions
KW  - type-indexed functions
KW  - existential types
KW  - higher-order patterns.
TI  - Liberal Typing for Functional Logic Programs
TY  - book part
ER  -