Monadic constraint programming
From MaRDI portal
Publication:3648354
DOI10.1017/S0956796809990086zbMath1184.68166MaRDI QIDQ3648354
Tom Schrijvers, Philip Wadler, Peter J. Stuckey
Publication date: 25 November 2009
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items (4)
\textsc{Tor}: modular search with hookable disjunction ⋮ Search combinators ⋮ Monads for the formalization of a pattern matching procedure ⋮ Generic programming with C++ concepts and Haskell type classes—a comparison
Uses Software
Cites Work
- Unnamed Item
- Nondeterministic control for hybrid search
- SALSA: a language for search algorithms
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
- On a Tighter Integration of Functional and Logic Programming
- Polytypic unification
- Theory and practice of constraint handling rules
- The execution algorithm of mercury, an efficient purely declarative logic programming language
- PROLOG'S CONTROL CONSTRUCTS IN A FUNCTIONAL SETTING — AXIOMS AND IMPLEMENTATION
- Search and strategies in OPL
This page was built for publication: Monadic constraint programming
