An overview of the Sloth2005 curry system: system description

Authors:
Emilio Jesús Gallego Arias;Julio Mariño
Affiliations:
Universidad Politécnica de Madrid;Universidad Politécnica de Madrid
Venue:
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Year:
2005

Citing 3
Cited 2

Type classes in Haskell

ACM Transactions on Programming Languages and Systems (TOPLAS)
Adding constraints to curry via flat guards

Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Evaluation strategies for functional logic programming

Journal of Symbolic Computation

A Proposal for Disequality Constraints in Curry

Electronic Notes in Theoretical Computer Science (ENTCS)
The Kiel Curry System KiCS

Applications of Declarative Programming and Knowledge Management

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present the current state and immediate future developments of Sloth [7], a Curry [2] to Prolog translator. Currently it implements almost all the features required the Curry Report [5] -- no encapsulated search at the moment -- and there is support for some extensions like, for instance, type classes and constraint programming over rationals.