An overview of the Sloth2005 Curry system system description

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

Volumn , Issue , 2005, Pages 66-69

  Arias, Emilio Jesús Gallego ^a   Mariño, Julio ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Constraint Definitional Trees; Curry; Sloth; Type Classes

Indexed keywords

CONSTRAINT DEFINATIONAL TREES; CURRY; SLOTH; TYPE CLASSES;

COMPUTER PROGRAMMING; TREES (MATHEMATICS);

COMPUTER PROGRAMMING LANGUAGES;

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

References (8)

1. Sergio Antoy. Evaluation strategies for functional logic programming. Journal of Symbolic Computation, 40( 1 ):875-903, 2005.
2. M. Hanus (ed.), H. Kuchen, and J.J. Moreno-Navarro. Curry: An integrated functional logic language. Technical report, RWTH Aachen, 2000.
3. Cordelia V. Hall, Kevin Hammond, Simon L. Peyton Jones, and Philip L. Wadler. Type classes in haskell. ACM Trans. Program. Lang. Syst., 18(2):109-138, 1996.
4. Michael Hanus. Packs User's Manual. Available at http://www.informatik. uni-kiel.de/~pakcs/.
5. Michael Hanus, Sergio Antoy, Herbert Kuchen, Francisco J. López-Fraguas, Wolfgang Lux, Juan José Moreno-Navarro, and Frank Steiner. Curry: An Integrated Functional Logic Language, 0.8 edition, April 2003. Editor: Michael Hanus.
6. M. Hermenegildo, F. Bueno, M. Garcia de la Banda, and G. Puebla. The CIAO multi-dialect compiler and system: An experimentation workbench for future (C)LP systems. In Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, december 1995. Available from http://www.clip.dia.fi.upm.es/.
7. Julio Marino and José María Key. The implementation of Curry via its translation into Prolog. In Kuchen, editor, 7th Workshop on Functional and Logic Programming (WFLP98), number 63 in Working Papers. Westfälische Wilhelms-Universität Münster, 1998.
8. Julio Marino and José María Rey. Adding constraints to curry via flat guards. In Workshop on Curry and Functional Logic Programming, WCFLP2005. ACM, 2005. To appear.