UPV-Curry: An Incremental Curry Interpreter

Authors

M. Alpuente, S. Escobar, S. Lucas

Abstract

Functional logic programming integrates the best features of modern functional and logic languages. The multi-paradigm declarative language Curry is an extension of Haskell which is intended to become a standard in the area. In this paper, we present UPV-Curry, an efficient and quite complete implementation of Curry based on a new, incremental definition of its basic evaluation mechanism. We compare UPV-Curry with already existing implementations of other Curry interpreters.

Keywords

Curry, Functional logic languages, Implementation.