Curry

Known as: Curry (disambiguation), Curry programming language 
Curry is an experimental functional logic programming language, based on the Haskell language. It merges elements of functional and logic programming… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Curry is a successful, general-purpose, functional logic programming language that predefines a singleton type Success explicitly… (More)
Is this relevant?
2011
2011
In 1939, Curry proposed a philosophy of mathematics he called formalism. He made this proposal in two works originally written in… (More)
Is this relevant?
2011
2011
This paper presents a new puzzle for certain positions in the theory of truth. The relevant positions can be stated in a language… (More)
Is this relevant?
2011
2011
In this paper we present our first steps towards a new system to compile functional logic programs of the source language Curry… (More)
Is this relevant?
2009
2009
It is a well known fact that there is a correspondence between propositions and type, and similarly a correspondence between a… (More)
Is this relevant?
2007
2007
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other… (More)
Is this relevant?
2005
2005
The Curry-Howard isomorphism states that types are propositions and that programs are proofs. This allows programmers to state… (More)
Is this relevant?
1999
1999
Functional logic programming integrates the best features of modern functional and logic languages. The multi-paradigm… (More)
Is this relevant?
1999
1999
In this work, we develop a partial evaluation technique for residuating functional logic programs, which generalize the… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We introduce the type theory ¿µv, a call-by-value variant of Parigot's ¿µ-calculus, as a Curry-Howard representation theory of… (More)
Is this relevant?