Translating curry to haskell system demo

WCFLP'05 - Proceedings of the ACM SIGPLAN 2005 Workshop on Curry an Functional Logic Programming

Volumn , Issue , 2005, Pages 60-65

  Braßel, Bernd ^a   Huch, Frank ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

Compiler; Curry; Haskell; Translation

Indexed keywords

JAVA PROGRAMMING LANGUAGE; MATHEMATICAL TRANSFORMATIONS; PROGRAM COMPILERS;

CURRY; HASKELL; TRANSLATION;

FORMAL LOGIC;

EID: 32044433731     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. E. Albert, M. Hanus, F. Much, J. Oliver, and G. Vidai. Operational semantics for declarative multi-paradigm languages. Journal of Symbolic Computation, 40(1):795-829, 2005.
2. S. Antoy and M. Hanus. Compiling multi-paradigm declarative programs into prolog. In Proc. International Workshop on Frontiers of Combining Systems (FroCoS'2000), pages 171-185. Springer LNCS 1794, 2000.
3. S. Antoy, M. Hanus, J. Liu, and A. Tolmach. A virtual machine for functional logic computations. In Proc. of the 16th International Workshop on Implementation and Application of Functional Languages (IFL 2004), pages 108-125. Springer LNCS 3474, 2005.
4. B. Braßel, M. Hanus, and F. Huch. Encapsulating non-determinism in functional logic computations. Journal of Functional and Logic Programming, 2004(6), 2004.
5. The Glasgow Haskell compiler, http://www.haskell.org/ghc/.
6. M. Hanus, S. Antoy, M. Engelke, K. Höppner, J. Koj, P. Niederau, R. Sadre, and F. Steiner. PAKCS: The Portland Aachen Kiel Curry System, http://www.informatik.uni-kiel.de/~pakcs/, 2004.
7. M. Hanus and R. Sadre. A concurrent implementation of Curry in Java. In Proc. ILPS'97, Port Jefferson (New York), 1997.
8. Simon Peyton Jones et al. Haskell 98 report. Technical report, http://www.haskell.org, 1998.
9. Ralf Lämmel and Simon Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. ACM SIGPLAN Notices, 38(3):26-37, March 2003.
10. K. Läufer. Type classes with existential types. J. of Functional Programming, 6(3):485-517, May 1996.
11. Wolfgang Lux and Herbert Kuchen. An efficient abstract machine for Curry. In K. Beiersdörfer, G. Engels, and W. Schäfer, editors, Informatik '99 - 29. Jahrestagung der Gesellschaft für Informatik, Oktober 1999, pages 390-399. Springer Verlag, 1999.
12. Chris Okasaki. Three algorithms on Braun trees. Journal of Functional Programming, 7(6):661-666, November 1997. Functional Pearl.
13. SICStus Prolog, www.sics.se/isl/sicstuswww/site/index. html.