Curry

Curry: a truly functional logic language. Functional and logic programming are the most important declarative programming paradigms, and interest in combining them has grown over the last decade. However, integrated functional logic languages are currently not widely used. This is due to the fact that the operational principles are not well understood and many different evaluation strategies have been proposed which resulted in many different functional logic languages. To overcome this situation, we propose the functional logic language Curry which can deal as a standard language in this area. It includes important ideas of existing functional logic languages and recent developments, and combines the most important features of functional and logic languages. Thus, Curry can be the basis to combine the currently separated research efforts of the functional and logic programming communities and to boost declarative programming in general. ...


References in zbMATH (referenced in 42 articles )

Showing results 1 to 20 of 42.
Sorted by year (citations)

1 2 3 next

  1. Alpuente, M.; Cuenca-Ortega, A.; Escobar, S.; Meseguer, J.: A partial evaluation framework for order-sorted equational programs modulo axioms (2020)
  2. Alpuente, María; Escobar, Santiago; Sapina, Julia; Ballis, Demis: Symbolic analysis of Maude theories with Narval (2019)
  3. Sandra Dylus, Jan Christiansen, Finn Teegen: Implementing a Library for Probabilistic Programming using Non-strict Non-determinism (2019) arXiv
  4. Antoy, Sergio; Hanus, Michael: Default rules for Curry (2017)
  5. Antoy, Sergio; Hanus, Michael: Transforming Boolean equalities into constraints (2017)
  6. Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao: Beginner’s Luck: a language for property-based generators (2017)
  7. Antoy, Sergio; Hanus, Michael: From Boolean equalities to constraints (2015)
  8. Antoy, Sergio; Jost, Andy: Compiling collapsing rules in certain constructor systems (2015)
  9. Kirchner, Hélene: Rewriting strategies and strategic rewrite programs (2015)
  10. Antoy, Sergio; Jost, Andy: Compiling a functional logic language: \textitTheFair Scheme (2014)
  11. Escobar, Santiago: Functional logic programming in Maude (2014)
  12. Hanus, Michael; Koschnicke, Sven: An ER-based framework for declarative web programming (2014) ioport
  13. Lindblad, Fredrik: A focused sequent calculus for higher-order logic (2014)
  14. Hanus, Michael: Functional logic programming: from theory to Curry (2013)
  15. Antoy, Sergio; Peters, Arthur: Compiling a functional logic language: the basic scheme (2012) ioport
  16. Fernández, Maribel; Kirchner, Hélène; Namet, Olivier: A strategy language for graph rewriting (2012)
  17. Köksal, Ali Sinan; Kuncak, Viktor; Suter, Philippe: Constraints as control (2012) ioport
  18. Braßel, Bernd; Hanus, Michael; Peemöller, Björn; Reck, Fabian: KiCS2: a new compiler from Curry to Haskell (2011) ioport
  19. Christiansen, Jan; Seidel, Daniel; Voigtländer, Janis: An adequate, denotational, functional-style semantics for typed FlatCurry (2011)
  20. Giorgidze, George; Nilsson, Henrik: Mixed-level embedding and JIT compilation for an iteratively staged DSL (2011) ioport

1 2 3 next