TY  - JOUR
AU  - Martin-Martin, Enrique
PY  - 2011
SN  - 978-1-4503-0485-6
UR  - https://hdl.handle.net/20.500.14352/41973
T2  - PEPM ’11 Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
AB  - Type classes provide a clean, modular and elegant way of writing overloaded functions. Functional logic programming languages (FLP in short) like Toy or Curry have adopted the Damas-Milner type system, so it seems natural to adopt also type classes in...
LA  - eng
M2  - 121
PB  - ACM
KW  - Type Classes
KW  - Functional Logic Programming
KW  - Type-indexed functions.
TI  - Type Classes in Functional Logic Programming (Author’s version for E-Prints Complutense)
TY  - journal article
ER  -