Enrique Martin-Martin. Type classes in functional logic programming. In Siau-Cheng Khoo, Jeremy G. Siek, editors, Proceedings of the 2011 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, January 24-25, 2011. pages 121-130, ACM, 2011. [doi]
Abstract is missing.