Curry

swMATH8981MaRDI QIDQ20976FDOQ20976

Author name not available (Why is that?)

Cited In (40)

• A partial evaluation framework for order-sorted equational programs modulo axioms
• Programming with narrowing: a tutorial
• Partial evaluation of multi-paradigm declarative languages: Foundations, control, algorithms and efficiency
• Programmed search in a timetabling problem over finite domains
• Rewriting strategies and strategic rewrite programs
• An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
• Dynamic state restoration using versioning exceptions
• Transforming Boolean equalities into constraints
• Implementing relational specifications in a constraint functional logic language
• Trends in trends in functional programming 1999/2000 versus 2007/2008
• Equivalence of two formal semantics for functional logic programs
• From Logic to Functional Logic Programs
• Title not available (Why is that?)
• An integrated framework for the diagnosis and correction of rule-based programs
• A Focused Sequent Calculus for Higher-Order Logic
• Compiling a functional logic language: \textit{The Fair Scheme}
• Title not available (Why is that?)
• Symbolic analysis of Maude theories with Narval
• A monadic semantics for core Curry
• Purely functional lazy non-deterministic programming
• Decidability of bounded higher-order unification
• Functional logic programming in Maude
• Beginner's luck: a language for property-based generators
• Transformation and debugging of functional logic programs
• Rules + strategies for transforming lazy functional logic programs
• Programmable rewriting strategies in Haskell (white paper)
• Needed computations shortcutting needed steps
• Functional and Logic Programming
• Title not available (Why is that?)
• Functional Logic Programming: From Theory to Curry
• A strategy language for graph rewriting
• A debugging scheme for functional logic programs
• From Boolean equalities to constraints
• Title not available (Why is that?)
• Declarative debugging of functional logic programs
• Expander2: program verification between interaction and automation
• Reporting failures in functional logic programs
• Default rules for Curry
• Algeo: an algebraic approach to reversibility
• Compiling collapsing rules in certain constructor systems

This page was built for software: Curry