Curry

swMATH8981MaRDI QIDQ20976FDOQ20976

Author name not available (Why is that?)

Cited In (40)

• Transformation and Debugging of Functional Logic Programs
• 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
• Symbolic Analysis of Maude Theories with Narval
• 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
• Functional Logic Programming in Maude
• 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
• Title not available (Why is that?)
• Rewriting Strategies and Strategic Rewrite Programs
• A Strategy Language for Graph Rewriting
• Title not available (Why is that?)
• A monadic semantics for core Curry
• Purely functional lazy non-deterministic programming
• Decidability of bounded higher-order unification
• Beginner's luck: a language for property-based generators
• From Boolean Equalities to Constraints
• Rules + strategies for transforming lazy functional logic programs
• Compiling Collapsing Rules in Certain Constructor Systems
• Programmable rewriting strategies in Haskell (white paper)
• Functional and Logic Programming
• Compiling a Functional Logic Language: The Fair Scheme
• Title not available (Why is that?)
• Functional Logic Programming: From Theory to Curry
• A debugging scheme for functional logic programs
• 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

This page was built for software: Curry