Emilio Jesús Gallego Arias, Julio Mariño. An overview of the Sloth2005 curry system: system description. In Sergio Antoy, Michael Hanus, editors, Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005. pages 66-69, ACM, 2005. [doi]
Abstract is missing.