Curry swMATH ID: 8981 Software Authors: M. Hanus, H. Kuchen, J.J. Moreno-Navarro Description: 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. ... Homepage: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.7348 Related Software: Haskell; PAKCS; TOY; BABEL; KiCS2; Maude; Kernel-LEAF; EasyCheck; Mercury; ML; QuickCheck; Oz; Church; Stratego; OCaml; FlatCurry; GLINTS; Isabelle; z3; PVS Cited in: 39 Publications all top 5 Cited by 56 Authors 9 Alpuente, María 8 Antoy, Sergio 7 Falaschi, Moreno 7 Hanus, Michael 3 Ballis, Demis 3 Escobar, Santiago 3 Vidal, Germán 2 Albert, Elvira 2 Correa, Francisco José 2 Fischer, Sebastian 2 Jost, Andy 2 Kirchner, Hélène 2 Moreno, Ginés 1 Achten, Peter 1 Berghammer, Rudolf 1 Caballero, Rafael E. 1 Christiansen, Jan 1 Correa, Franciso 1 Santos Costa, Vítor 1 Cuenca-Ortega, Angel 1 Fernández, Maribel 1 Florido, Mário 1 Gallois-Wong, Diane 1 González del Campo, Ramón 1 Hriţcu, Cătălin 1 Huch, Frank 1 Jagannathan, Suresh 1 Johannsen, Jacob 1 Julián, Pascual 1 Kiselyov, Oleg 1 Koopman, Pieter 1 Lämmel, Ralf 1 Lampropoulos, Leonidas 1 Libby, Steven 1 Lindblad, Fredrik 1 López-Fraguas, Francisco Javier 1 Meseguer Guaita, José 1 Morazán, Marco T. 1 Namet, Olivier 1 Nandivada, V. Krishna 1 Niederau, Philipp 1 Padawitz, Peter 1 Pierce, Benjamin C. 1 Rodríguez-Artalejo, Mario 1 Rodríguez-Hortalá, Juan 1 Sáenz-Pérez, Fernando 1 Sánchez-Hernández, Jaime 1 Sapiña, Julia 1 Schmidt-Schauß, Manfred 1 Schulz, Klaus U. 1 Seidel, Daniel 1 Shan, Chung-chieh 1 Tolmach, Andrew 1 van Eekelen, Marko 1 Voigtlander, Janis 1 Xia, Li-Yao all top 5 Cited in 7 Serials 3 Theory and Practice of Logic Programming 2 Theoretical Computer Science 2 Journal of Symbolic Computation 2 Higher-Order and Symbolic Computation 1 Formal Aspects of Computing 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Journal of Logical and Algebraic Methods in Programming Cited in 3 Fields 39 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 General algebraic systems (08-XX) Citations by Year