TY  - CHAP
AU  - López Fraguas, Francisco Javier
AU  - Martín Martín, Enrique
AU  - Rodríguez Hortalá, Juan
PY  - 2010
DO  - 10.1007/978-3-642-11999-6_9
SN  - 978-3-642-11998-9
UR  - https://hdl.handle.net/20.500.14352/45387
T2  - LNCS
AB  - Type systems are widely used in programming languages as a powerful tool providing safety to programs, and forcing the programmers to write code in a clearer way. Functional logic languages have inherited Damas & Milner type system from their...
LA  - eng
M2  - 128
PB  - Springer
TI  - New Results on Type Systems for Functional Logic Programming
TY  - book part
ER  -