Monadic constraint programming
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1337859
- Modular lazy search for constraint satisfaction problems
- Programming constraint services. High-level programming of standard and new constraint services
- A survey of constraint-based programming paradigms
- Processes, Terms and Cycles: Steps on the Road to Infinity
Cites work
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
- scientific article; zbMATH DE number 1312992 (Why is no real title available?)
- Nondeterministic control for hybrid search
- On a Tighter Integration of Functional and Logic Programming
- Polytypic unification
- Prolog's control constructs in a functional setting -- axioms and implementation
- SALSA: a language for search algorithms
- Search and strategies in OPL
- The execution algorithm of mercury, an efficient purely declarative logic programming language
- Theory and practice of constraint handling rules
Cited in
(8)- Monads for the formalization of a pattern matching procedure
- \textsc{Tor}: modular search with hookable disjunction
- Modular lazy search for constraint satisfaction problems
- Multiparadigm Constraint Programming Languages
- Generic programming with C++ concepts and Haskell type classes—a comparison
- Monadic Datalog Containment
- Synthesizing Monadic Predicates
- Search combinators
This page was built for publication: Monadic constraint programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3648354)
