TY  - JOUR
AU  - López Fraguas, Francisco Javier
AU  - Martín Martín, Enrique
AU  - Rodríguez Hortalá, Juan
AU  - Ueda, K.
PY  - 2010
DO  - 10.1007/978-3-642-17164-2_7
SN  - 978-3-642-17163-5
SN  - 0302-9743
UR  - https://hdl.handle.net/20.500.14352/174.1
T2  - Lecture Notes in Computer Science
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  - journal article
ER  -