• Haskell

  • Referenced in 842 articles [sw03521]
  • typing. It is named after logician Haskell Curry...
  • ML

  • Referenced in 512 articles [sw01218]
  • collection, imperative programming, call-by-value and currying. It is used heavily in programming language...
  • Curry

  • Referenced in 42 articles [sw08981]
  • Curry: a truly functional logic language. Functional and logic programming are the most important declarative ... situation, we propose the functional logic language Curry which can deal as a standard language ... features of functional and logic languages. Thus, Curry can be the basis to combine...
  • PAKCS

  • Referenced in 28 articles [sw13688]
  • implementation of the multi-paradigm declarative language Curry jointly developed by the Portland State University ... based on a high-level compilation of Curry programs into Prolog programs ... environments, an object-oriented front-end for Curry, partial evaluators, database applications, HTML programming with ... systems). Thus, the size of all current Curry applications implemented with PAKCS amounts to more...
  • KiCS2

  • Referenced in 10 articles [sw07613]
  • KiCS2: a new compiler from Curry to Haskell. In this paper we present our first ... functional logic programs of the source language Curry into purely functional Haskell programs. Our implementation ... with or outperform other existing implementations of Curry...
  • EasyCheck

  • Referenced in 12 articles [sw09735]
  • written in the functional logic programming language Curry and emphasize the usefulness of logic features...
  • ObjectCurry

  • Referenced in 3 articles [sw01593]
  • extension of the declarative multi-paradigm language curry Curry combines the concepts of functional, logic ... ports allows the modeling of objects in Curry similar to object-oriented programming languages ... present ObjectCurry, a conservative extension of Curry. ObjectCurry allows the direct definition of templates which ... programs can be translated from ObjectCurry into Curry by exploiting the concurrency and distribution features...
  • FlatCurry

  • Referenced in 4 articles [sw28856]
  • FlatCurry: An intermediate representation for Curry programs. In order to provide a common interface ... connecting different tools working on Curry programs or programs written in another (functional logic) declarative...
  • Lolliproc

  • Referenced in 5 articles [sw22624]
  • concurrency from classical linear logic via Curry-Howard and control. While many type systems based...
  • Aspectual Caml

  • Referenced in 4 articles [sw22681]
  • such as type inference, polymorphic types and curried functions. We implemented a prototype compiler...
  • Lambda Free RPOs

  • Referenced in 3 articles [sw28792]
  • order terms also in the presence of currying, distinguishing it from previous work. An optimized...
  • Hazelnut

  • Referenced in 2 articles [sw22659]
  • typing and contextual modal type theory, the Curry-Howard interpretation of contextual modal logic. Finally...
  • Skil

  • Referenced in 2 articles [sw26451]
  • language enhanced with higher order functions and currying, as well as with a polymorphic type...
  • PFLP

  • Referenced in 2 articles [sw28855]
  • programming in the functional logic programming language Curry. It demonstrates how the concepts...
  • Coq

  • Referenced in 1776 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 606 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • RelView

  • Referenced in 101 articles [sw00798]
  • The RelView-System is an interactive tool for...
  • BABEL

  • Referenced in 71 articles [sw03018]
  • Logic programming with functions and predicates: The language...
  • ECCE

  • Referenced in 61 articles [sw04196]
  • ECCE is an automatic online program specialiser for...
  • Miranda

  • Referenced in 151 articles [sw04986]
  • Miranda: A non-strict functional language with polymorphic...