TY  - JOUR
AU  - López Fraguas, Francisco J.
AU  - Martín Martín, Enrique
AU  - Rodríguez Hortalá, Juan
PY  - 2014
DO  - 10.1016/j.ic.2014.01.004
SN  - 0890-5401
UR  - https://hdl.handle.net/20.500.14352/35091
T2  - Information and Computation
AB  - Type systems are widely used in programming languages as a powerful tool providing safety to programs. Functional logic languages have inherited Damas-Milner type system from their functional part due to its simplicity and popularity. In this paper we...
LA  - eng
M2  - 36
PB  - Elsevier
KW  - Functional-logic programming
KW  - Type systems
KW  - Opaque patterns
KW  - Let bindings
TI  - Safe typing of functional logic programs with opaque patterns and local bindings
TY  - journal article
VL  - 235
ER  -