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