Translating curry to haskell system demo

Authors:
Bernd Braβel;Frank Huch
Affiliations:
University of Kiel, Kiel, Germany;University of Kiel, Kiel, Germany
Venue:
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Year:
2005

Citing 5
Cited 8

Scrap your boilerplate: a practical design pattern for generic programming

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Compiling Multi-Paradigm Declarative Programs into Prolog

FroCoS '00 Proceedings of the Third International Workshop on Frontiers of Combining Systems
Three algorithms on Braun trees

Journal of Functional Programming
Operational semantics for declarative multi-paradigm languages

Journal of Symbolic Computation
A virtual machine for functional logic computations

IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages

Reporting Failures in Functional Logic Programs

Electronic Notes in Theoretical Computer Science (ENTCS)
Systematic generation of glass-box test cases for functional logic programs

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Computing with subspaces

Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Declaring Numbers

Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-paradigm declarative languages

ICLP'07 Proceedings of the 23rd international conference on Logic programming
On a tighter integration of functional and logic programming

APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
EasyCheck: test data for free

FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Overlapping rules and logic variables in functional logic programs

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

There exist several implementations of the functional logic language Curry: a transformation to Prolog and implementations of abstract machines for C and Java. We show that there are many advantages of a further implementation as a transformation to Haskell: increases in performance, availability of libraries and tools, and open access to the implementation. We present the basic ideas and a prototypical implementation of our transformation, which generates Haskell programs without use of impure features.