Curry
From MaRDI portal
Cited in
(92)- GrGen
- SEViz
- ObjectCurry
- CLAIRE
- DACTL
- BABEL
- Haskell
- Fujaba
- Ivor
- Rules + strategies for transforming lazy functional logic programs
- Oz
- MOSILAB
- PORGY
- Trends in trends in functional programming 1999/2000 versus 2007/2008
- Euclide
- KiCS2
- Mercury
- TituRel
- Kima
- Algeo: an algebraic approach to reversibility
- TeaBag
- Kernel-LEAF
- Camlflow
- Alfalfa
- EasyCheck
- ChC 3
- TOY
- A partial evaluation framework for order-sorted equational programs modulo axioms
- ASF+SDF
- OpenRuleBench
- Decidability of bounded higher-order unification
- CoCasl
- Freja
- Hat
- Hood
- PAKCS
- FLORA
- Transforming Boolean equalities into constraints
- Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
- scientific article; zbMATH DE number 1691458 (Why is no real title available?)
- scientific article; zbMATH DE number 1696592 (Why is no real title available?)
- Declarative debugging of functional logic programs
- A debugging scheme for functional logic programs
- A monadic semantics for core Curry
- Programmable rewriting strategies in Haskell (white paper)
- Equivalence of two formal semantics for functional logic programs
- Expander2: program verification between interaction and automation
- Reporting failures in functional logic programs
- Implementing relational specifications in a constraint functional logic language
- Programmed search in a timetabling problem over finite domains
- Purely functional lazy non-deterministic programming
- Rewriting strategies and strategic rewrite programs
- An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
- Theseus
- Datafun
- miniKanren
- KANREN
- A Focused Sequent Calculus for Higher-Order Logic
- Luck
- EXPANDER
- Compiling a functional logic language: \textit{The Fair Scheme}
- GHC
- Transformation and debugging of functional logic programs
- nofib
- PFLP
- FlatCurry
- CHR.js
- scientific article; zbMATH DE number 1222408 (Why is no real title available?)
- DiSCiPl
- ACUOS2
- ABETS
- Default rules for Curry
- A strategy language for graph rewriting
- Functional Logic Programming: From Theory to Curry
- Needed computations shortcutting needed steps
- A three-valued semantics for typed logic programming
- From Logic to Functional Logic Programs
- Symbolic analysis of Maude theories with Narval
- Functional and Logic Programming
- Beginner's luck: a language for property-based generators
- Functional logic programming in Maude
- CauDEr
- Flix
- GLINTS
- Compiling collapsing rules in certain constructor systems
- From Boolean equalities to constraints
- Mau-Dev
- Algeo
- BearSSL
- An integrated framework for the diagnosis and correction of rule-based programs
- Dynamic state restoration using versioning exceptions
- Programming with narrowing: a tutorial
This page was built for software: Curry
