The Münster Curry Compiler: Source CodeA mirror of an experimental branch adding type classes to the Münster Curry compiler is available at [1]. There is also a status page summarizing implemented changes and open issues.
doi.org
Sergio Antoy and Michael Hanus: Functional Logic Programming. In: Communications of the ACM. 53. Jahrgang, Nr.4. ACM, 2010, S.74–85, doi:10.1145/1721654.1721675 (acm.org).
The Münster Curry Compiler: Source CodeA mirror of an experimental branch adding type classes to the Münster Curry compiler is available at [1]. There is also a status page summarizing implemented changes and open issues.